[m-dev.] syntactic suggar suggestion for state variables

[Peter Hawkins]

Hi..

What about something more like
:- pred p(mysvtype::!(ground)) is det.

i.e. the argument is an inst, not a mode, so !(I) means in(I), out(I).
or possibly allow omitting the inst altogether:
:- pred p(mysvtype::!) is det.

"!" is not an ideal name for this.

Cheers,
Peter
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------