more GADT surprises

[Simon Peyton-Jones]

Thanks.  Both this and your earlier message are fixed in the HEAD; and
tests added.  

Keep them coming

Simon

| -----Original Message-----
| From: glasgow-haskell-bugs-bounces at haskell.org
[mailto:glasgow-haskell-bugs-
| bounces at haskell.org] On Behalf Of Andres Loeh
| Sent: 15 March 2005 13:45
| To: glasgow-haskell-bugs at haskell.org
| Subject: more GADT surprises
| 
| Surprisingly, the attached Haskell module loads successfully in
ghci-6.4:
| 
| Ok, modules loaded: Main.
| *Main> :t A
| A :: A
| *Main> :t B
| B :: B []
| *Main> :t B'
| B' :: B [Int]
| *Main> [B,B']
| ghc-6.4: panic! (the `impossible' happened, GHC version 6.4):
|         Unify.unifyTauTyLists: mismatched type lists!
| 
| Please report it as a compiler bug to
| glasgow-haskell-bugs at haskell.org,
| or http://sourceforge.net/projects/ghc/.
| 
| 
| Best,
|   Andres