Dear all,
I would like to report the following
*************************************************************************
Trying to compile the following program
> module A( B ) where
> data B = C a
> e :: B -> B
> e (C f) = C f
leads to:
panic! (the `impossible' happened):
Unexpected Dict or ForAll in occurCheck
Please report it as a compiler bug to [EMAIL PROTECTED]
*************************************************************************
Whereas
> module A( B ) where
> data B = C a
compiles fine. Is this valid Haskell?
Regards,
Marc van Dongen
[EMAIL PROTECTED]
