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@well-typed.com] | Sent: 08 November 2017 18:57 | To: Simon Peyton Jones <simonpj@microsoft.com> | Cc: ghc-devs@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