T14394 output

[Ben Gamari]

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>