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

[Ralph Becket]

Ondrej Bojar, Friday, 12 January 2007:
> Hi,
> 
> Once I started heavily using state variables, it feels tiring to type 
> the type/mode declarations:
> 
> :- pred p(mysvtype::in, mysvtype::out) is det.
> 
> Would it be possible to extend the syntax to allow:
> 
> :- pred p(mysvtype::!(in, out)) is det.
> 
> 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
--------------------------------------------------------------------------