[m-dev.] Tuples and pairs

[Ralph Becket]

A while back we discussed whether we should redefine the type pair/2 as
a synonym for {}/2.  I recall there was some dissent on the matter.

Could we have a quick show of hands for those in favour?

If the vote is `nay', I'm thinking of adding lhs/1 and rhs/2 to
std_util.m:

:- func lhs({L, _R}) = L.
lhs({L, _R}) = L.

:- func rhs({_L, R}) = R.
rhs({_L, R}) = R.

Any preferences either way?

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