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

[Ralph Becket]

Ondrej Bojar, Friday, 12 January 2007:
> Ralph Becket wrote:
> >>Would it be possible to extend the syntax to allow:
> >>
> >>:- pred p(mysvtype::!(in, out)) is det.
> 
> So the question is now, if the type+mode declaration should be:
> 
> :- pred p(mysvtype::!(in, out)) is det.
> % more concise
> 
> or
> 
> :- pred p(!mysvtype::!(in, out)) is det.
> % better parallel with the separate mode-type decls.

The latter seems more consistent to me.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------