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
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