GHC 6.5 error? Illegal polymorphic or qualified type

[Simon Peyton-Jones]

This is a bug. I'm committing a fix as I type.

Thanks for boiling it down.

Simon

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
[mailto:glasgow-haskell-users-
| bounces at haskell.org] On Behalf Of Einar Karttunen
| Sent: 16 April 2006 13:57
| To: Rene de Visser
| Cc: glasgow-haskell-users at 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 at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users