| 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? 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. Apologies for wasting time. Simon