> 3.  Manuel points out
>
> I must say that I'm strongly tempted to disallow empty qualifiers
> and make n>=1.  I'm not sure how this change crept in in the first
> place.  Does anyone care?  Urgle.

The report is in a bit of a mess here.
The top of section 3 (the summary of exp syntax) also has n>=1. App B4 has
n>=0.
The translation box in 3.11 clearly defines [e | ] as e, but does not define
[e | ,Q] (which should presumably be [e|Q]), or  [e|q] where q is a single
qualifier.

This originates with H98. H1.4 (which was actually defining monad
comprehensions) had n>=1 and no empty qualifiers, as did earlier versions. I
would be happy to revert.

--brian

Reply via email to