[m-dev.] for review: new version of integer.m

[Simon Taylor]

>  :- func integer ^ integer = integer.

There seems to be a consensus on mercury-users that `^' is
not the right operator for record syntax.

Should I undo the changes to int.m to make `int:^/2' obsolete?
If not, integer.m should use `xor` instead of `^' to be consistent
with int.m.

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