[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