[m-dev.] for review: add ++ and -- operators

[Fergus Henderson]

On 10-Aug-2000, Michael Day <mcda at students.cs.mu.oz.au> wrote:
> 
> is this the correct diff format?

Yes.

> Any qualms about the associativity of the -- operator?

Yes, it should be left-associative, or perhaps non-associative, not
right-associative, `X -- Y -- Z' should be the same as `(X -- Y) -- Z',
not `X -- (Y -- Z)'.  Otherwise people who are used to the
associativity of `-' will get very confused.

> +++ doc/transition_guide.texi	2000/08/10 11:57:35
> @@ -112,9 +112,11 @@
>  *               yfx             400
>  **              xfy             300
>  +               yfx             500
> +++              xfy             500
>  +               fx              500
>  ,               xfy             1000
>  -               yfx             500
> +-               xfy             500

That should be `--' rather than `-'.

Can you please post another diff when you've addressed those comments?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------