T14394 output

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

T14394 output

Ben Gamari-3
Hi Simon,

It seems that your recent commit 30058b0e45e9 may not be quite right.
Specifically, the expected output for T14394 is empty, whereas the test
is almost certainly going to produce output. The current output is,


pattern Foo :: () => (b ~ a) => a :~~: b
  -- Defined at <interactive>:5:1
pattern Bar :: forall k2 k1 (a :: k1) (b :: k2). () => (k2 ~ k1,
                                                        (b :: k2) ~~ (a :: k1)) => a :~~: b
  -- Defined at <interactive>:11:1
pattern Bam :: () => Ord a => a -> a -> (S a, S a)
 -- Defined at <interactive>:21:1


Does this look right to you?

Cheers,

- Ben

_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

signature.asc (497 bytes) Download Attachment
Reply | Threaded
Open this post in threaded view
|

RE: T14394 output

GHC - devs mailing list
Gah!  Yes that's the right output.  I'm not sure how I messed that up.  Sorry

Simon

| -----Original Message-----
| From: Ben Gamari [mailto:[hidden email]]
| Sent: 08 November 2017 18:57
| To: Simon Peyton Jones <[hidden email]>
| Cc: [hidden email]
| Subject: T14394 output
|
| Hi Simon,
|
| It seems that your recent commit 30058b0e45e9 may not be quite right.
| Specifically, the expected output for T14394 is empty, whereas the test
| is almost certainly going to produce output. The current output is,
|
|
| pattern Foo :: () => (b ~ a) => a :~~: b
|   -- Defined at <interactive>:5:1
| pattern Bar :: forall k2 k1 (a :: k1) (b :: k2). () => (k2 ~ k1,
|                                                         (b :: k2) ~~ (a
| :: k1)) => a :~~: b
|   -- Defined at <interactive>:11:1
| pattern Bam :: () => Ord a => a -> a -> (S a, S a)
|  -- Defined at <interactive>:21:1
|
|
| Does this look right to you?
|
| Cheers,
|
| - Ben
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs