Forall syntax

[Mark P Jones]

Hi Simon, Andy, et al.

| [Hugs and GHC should agree on a syntax for forall expressions ... one
| that doesn't require commas between variable names ...]
|
| forall tends to be used with one argument, hence the reason its not
| really biting right now.

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

All the best,
Mark