[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