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