I see the difference in behaviour of the parser for "newtype" and "data"
definitions in combination with universal quantifications,
as reported by Ralf Hinze ("forall for all places", October 2001), has been
fixed in GHC version 5.02.1.
I encountered a similar problem with existential quantification:
this works
data Exists f = forall x . E ( f x)
this doesn't work
newtype Exists f = forall x . E ( f x)
Hugs accepts both.
It there a reason why existential quantification does not work with a
newtype, or is it just
a parser problem?
Cheers, Arthur
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
