[m-dev.] Introduce !! rather than ^elem() for indexing

[Michael Day]

> `A !! I' is syntactically more economical than the current Mercury
> convention of using `A ^ elem(I)'.  However, to make substitution of
> the form `A !! I := X' parse would require some work.

If you can have A !! I, why not have A ^ I ? Is the !! operator going to
be specific to lists/arrays/maps and basically replace elem?

Michael


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