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

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Jan 16 01:49:20 AEDT 2007


On Tue, 16 Jan 2007, Richard Fothergill wrote:

> On 1/12/07, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>> 
>> The other place this sort of syntatic sugar would be really useful
>> is in the heads of lambda expressions:
>> 
>> e.g.
>> 
>>         X = (pred(!IO::!(di, uo)) is det :-
>>                 ...
>>         )
>> 
>> as opposed to:
>> 
>>         X = (pred(!.IO::di, !:IO::uo) is det :-
>>                 ..
>>         )

This is not a comment on Richard's suggestion but I am strongly opposed to
any change that introduces some inconsistency between the way modes are
handled in pred declarations and the in the heads of lambda expressions.

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