Hi,
When I compile the following module,
module ZipTyEnvBug where
type A i = i
type B = A
I get
ghc-5.02: panic! (the `impossible' happened, GHC version 5.02):
/tmp/ghc13435.lpp:388: Non-exhaustive patterns in function
zip_ty_env
Changing the second declaration to
type B i = A i
helps, but the Haskell 98 report (section 4.2.2) explicitly allows the
lhs of a type sysonym declaration to be of higher kind...
Regards,
Thomas Hallgren
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
