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