[m-rev.] for review: state vars syntax sugar

[Ralph Becket]

Julien Fischer, Wednesday, 31 January 2007:
> Actually, what I'm looking for is way of simplifying the state variables
> in the heads of labmda expressions, e.g.
> 
> 
>  	P = (pred(X::in, !IO::(di, uo)) is det :-
>  		...
>  	)
> 
> as opposed to:
> 
>  	P = (pred(X::in, !.IO::di, !:IO::uo) is det :-
>  		...
>  	)
> 
> It was just that the initial discussion was in terms of pred/mode/predmode
> declarations.  That said I think whatever syntax is chosen for
> pred/mode/predmode declarations should work for lamda expressions as well
> (and mode specific clauses too).

This is the winning reason for me, too.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------