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

Peter Hawkins hawkinsp at cs.stanford.edu
Sun Jan 14 12:58:44 AEDT 2007


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.

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

More information about the developers mailing list