Forall syntax

[Simon Peyton-Jones]

| The reason it's not biting is that the problem doesn't exist!=20
| :-)  I have strong recollections that I noticed and fixed=20
| this inconsistency while traveling on a train through the=20
| French countryside in September 1999 ... even if my memory is=20
| failing me, the most recent Hugs seems to accept forall's=20
| without commas between arguments.  Perhaps Simon is using an=20
| old version of Hugs, looking at some out of date=20
| documentation, or has found a specific instance where the=20
| change was missed?

I was probably using a (very) out of date version of Hugs.
I should have mentioned that.  It didn't occur to me that the
syntax might have changed, though it should have. =20
Apologies for wasting time.

Simon