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

Ondrej Bojar obo at cuni.cz
Fri Jan 12 12:33:16 AEDT 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.

Thanks, Ondrej.

P.S.: I might try to prepare the patch myself, so this message is sort 
of a 'pre-for_review'.

-- 
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
--------------------------------------------------------------------------



More information about the developers mailing list