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

[Ondrej Bojar]

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.

O.

>>
>>Or if mode and type definitions are separate:
>>
>>:- pred p(!mysvtype).
>>:- mode p(!(in, out)) is det.
> 
> 
> That doesn't seem like a bad idea...
> --------------------------------------------------------------------------
> 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
> --------------------------------------------------------------------------
> 

-- 
Ondrej Bojar (mailto:obo at cuni.cz)
http://www.cuni.cz/~obo
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------