This is a bug. I'm committing a fix as I type.
Thanks for boiling it down.
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of Einar Karttunen
| Sent: 16 April 2006 13:57
| To: Rene de Visser
| Cc: glasgow-haskell-users@haskell.org
| Subject: Re: GHC 6.5 error? Illegal polymorphic or qualified type
|
| Hello
|
| Here is a short example of the GHC 6.5 problem:
|
| type AnyE a = forall err. Either err a
| foo :: Monad m = AnyE (m t)
| foo = undefined
|
| Works with older versions of GHC 6.5, but newer versions
| fail with the:
|
| Illegal polymorphic or qualified type: forall err. Either err (m
t)
| In the type signature for `foo':
| foo :: (Monad m) = AnyE (m t)
|
|
| - Einar Karttunen
| ___
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users@haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users