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

[Michael Day]

> > 	A^{I}
>
> That seems like a better idea.  It just seems a little clumsy when
> you can't fit simple expressions involving two or three arrays (or whatever)
> on a single line.

Why not just legitimise A[I] and be done with it? :)

More seriously though, what kind of beast is the term [X] ? I imagine now
it expands into something like [|](X, []) ? Which would prevent me from
using it as a single argument type constructor?

:- type [T] == list(T).	% for example

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