GHC 6.5 error? Illegal polymorphic or qualified type

2006-04-16 Thread Rene de Visser
Hello, I tried to compile HAppS using the latest GHC snapshot (in compiles fine with 6.41). I for example get the error /home/rene/repos/HAppS/src/HAppS/MACID/Var.hs:23:0: Illegal polymorphic or qualified type: forall state event. Ev state event

Re: GHC 6.5 error? Illegal polymorphic or qualified type

2006-04-16 Thread Einar Karttunen
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