/tmp/ghc13435.lpp:388: Non-exhaustive patterns in function zip_ty_env

[Thomas Hallgren]

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