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@xxxxxxxxxxx,
or http://sourceforge.net/projects/ghc/.


Best,
  Andres

Bug2.hs
Description: Text document

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs