[m-rev.] for review: state vars syntax sugar
Julien Fischer
juliensf at csse.unimelb.edu.au
Tue Jan 30 12:23:50 AEDT 2007
On Mon, 29 Jan 2007, Julien Fischer wrote:
> (3) I cannot use the inst based syntax to encode a change of uniqueness,
> which is trivial to do with the mode based one, e.g.
>
> :- pred do_complex_op_and_make_unique(!foo::(in, uo)) is det.
>
> do_complex_op_and_make_unique(!Foo) :-
> op_part1(!Foo),
> ...
> op_partn(!Foo),
> make_unique(!Foo),
> do_more_stuff(!Foo).
More importantly, perhaps, I also cannot use it to encode a change
of subtype either.
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list