Crumbs. This is a long-standing parser infelicity.
I'm quite surprised it hasn't surfaced till now.
It shall be fixed.
Simon
| -Original Message-
| From: Ralf Hinze [mailto:[EMAIL PROTECTED]]
| Sent: 19 October 2001 12:06
| To: [EMAIL PROTECTED]
| Subject: forall for
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