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

[Michael Day]

In the interests of symmetry, this adds both the ++ and the -- operators.
Would the -- operator be appropriate for remove_suffix? Still not a real
diff.

Michael

Estimated hours taken: 0.75

Add the ++ and -- operators for future use as list append and
remove_suffix operators.

library/ops.m:
	Add the ++ and -- operators.

compiler/mercury_to_mercury.m:
	Add the ++ and -- operators to mercury_infix_op.

doc/transition_guide.texi:
	Add the ++ and -- operators to the list of Mercury operators.

Index: library/ops.m
===================================================================

Add the line:

ops__op_table("++", after, yfx, 500).           % Mercury extension

After the line:

ops__op_table("+", after, yfx, 500).            % standard ISO Prolog

Add the line:

ops__op_table("--", after, yfx, 500).           % Mercury extension

After the line:

ops__op_table("-", after, yfx, 500).            % standard ISO Prolog


Index: compiler/mercury_to_mercury.m
===================================================================

Add the line:

mercury_infix_op("++").

After the line:

mercury_infix_op("+").

Add the line:

mercury_infix_op("--").

After the line:

mercury_infix_op("-").


Index: doc/transition_guide.texi
===================================================================

Add the line:

++              yfx             500

After the line:

+               yfx             500

Add the line:

--              yfx             500

After the line:

-               yfx             500


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------