T14394 output
Simon Peyton Jones
simonpj at microsoft.com
Wed Nov 8 22:06:44 UTC 2017
Gah! Yes that's the right output. I'm not sure how I messed that up. Sorry
Simon
| -----Original Message-----
| From: Ben Gamari [mailto:ben at well-typed.com]
| Sent: 08 November 2017 18:57
| To: Simon Peyton Jones <simonpj at microsoft.com>
| Cc: ghc-devs at haskell.org
| 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
More information about the ghc-devs
mailing list