GHC 5.02 accepts forall types only at some sensible places:
this works
data CPS a = CPS { unCPS :: forall ans . (a -> ans) -> ans }
this doesn't work
newtype CPS a = CPS { unCPS :: forall ans . (a -> ans) -> ans }
this works
newtype CPS a = CPS (forall ans . (a -> ans) -> ans)
Needless to say that I prefer the second variant (which Hugs happily
accepts).
Cheers, Ralf
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
