tc236

[Simon Peyton-Jones]

Sorry -- I failed to commit the patch to HEAD at the same time I committed the test.  Will do today

| -----Original Message-----
| From: Manuel M T Chakravarty [mailto:chak at cse.unsw.edu.au]
| Sent: 16 September 2007 06:49
| To: Simon Peyton-Jones
| Subject: tc236
|
| Simon,
|
| You added a test (tc236) for foralls appearing behind => in
| signatures, specifically,
|
|    f :: forall a. (Num a) => forall b. (Ord b) => a -> b -> b -> a
|
| It is marked as "normal" in all.T, but it gives rise to a parser
| error (in 6.6.1, 6.8, and the HEAD).  In contrast,
|
|     f :: forall a. (Num a) => (forall b. (Ord b) => a -> b -> b -> a)
|
| works fine.
|
| So, I am not sure why you added the test as "normal".  Do you want
| this to work?  It might be a matter of changing, in Parser.y.pp,
|
|         | context '=>' type             { LL $ mkImplicitHsForAllTy
| $1 $3 }
|
| to
|
|         | context '=>' ctype            { LL $ mkImplicitHsForAllTy
| $1 $3 }
|
| but this change may lead to additional parser conflicts (I didn't
| try it).
|
| At the moment, the failing test breaks validate.
|
| Manuel