[mercury-users] Operator precedence of =>

Richard A. O'Keefe ok at atlas.otago.ac.nz
Thu Jan 28 09:00:41 AEDT 1999

If I could follow up Lee Naish's eminently sensible advice,
may I suggest that multiconjunct quantifiers be laid out
like the Lisp 'let' expressions they so much resemble?
Here's what I mean.

    (all [<vars>]		% like (let (<bindings>)
	<conjunction>		%          <expressions>)

Of course, for that to work well, implication does have to have
wider scope than conjunction, which it *must* in any sensible
assignment of operator priorities.

More information about the users mailing list