T14394 output

Ben Gamari ben at well-typed.com
Wed Nov 8 18:57:07 UTC 2017


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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20171108/be0064c6/attachment.sig>


More information about the ghc-devs mailing list