[m-dev.] for review: tuples [1]

[Simon Taylor]

> On 12-Aug-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > The change allows (or at least I think it should allow) other uses for
> > the symbols, so long as you specify the types enough to ensure that
> > type inference can resolve any ambiguities.
> 
> Would it be acceptable to only accept the brace syntax as syntax for
> tuples if you have imported the appropriate module (say `tuple')?
> 
> That way if you are keen on using {...} for set syntax, you can avoid
> using the tuple module (or :- use_module it, so you require module
> qualification if you do use it). 

I don't think that would work well. Terms with functor
`{}' can have any arity, so you couldn't write the set
constructor function in Mercury.

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