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

[Nicholas Nethercote]

Hi,

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 
(http://www.cs.mu.oz.au/research/mercury/information/doc-latest/mercury_ref/Lambda-expressions.html#Lambda%20expressions). 
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.

Thanks.

Nick
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------