forall for all places

[Simon Peyton-Jones]

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:ralf at informatik.uni-bonn.de] 
| Sent: 19 October 2001 12:06
| To: glasgow-haskell-bugs at haskell.org
| Subject: forall for all places
| 
| 
| 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 
| Glasgow-haskell-bugs at haskell.org 
| http://www.haskell.org/mailman/listinfo/glasgow-| haskell-bugs
|