[mercury-users] Ref manual addition: State variable syntax in lambda expressions

Nicholas Nethercote njn at csse.unimelb.edu.au
Fri May 26 10:54:21 AEST 2006


I have this lambda expression:

     WriteBanner = (pred(When::in, !.IO::di, !:IO::uo) is det :-
         io.write_string("-- " ++ FileName ++ ": " ++ When ++ " " ++ StageName
             ++ " --------------\n", !IO)),

The reference manual section on lambda expressions 
doesn't explain how to use state variables with lambda expressions.  It 
would be nice if it did, because I've worked this out and then forgotten it 
again more than once.


mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list