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@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] 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