[mercury-users] Field updates and state variables

Peter Schachte schachte at csse.unimelb.edu.au
Tue Jul 4 10:32:42 AEST 2006


On Sun, Jul 02, 2006 at 08:09:35PM -0700, Peter Hawkins wrote:

> >>Wouldn't it be nice if I could write the field update as:
> >>map.insert(Key, Value, !S ^ my_map)
> 
> Well, to be precise I actually meant it to expand to this:
> map.insert(Key, Value, !.S ^ my_map, Temp),
> !:S = !.S ^ my_map := Temp,

Yes, that seems natural enough.  If !S^my_map in a goal means
anything, that's probably what it should mean.


-- 
Peter Schachte              I do not feel obliged to believe that the same
schachte at cs.mu.OZ.AU        God who has endowed us with sense, reason, and
www.cs.mu.oz.au/~schachte/  intellect has intended us to forgo their use.
Phone: +61 3 8344 1338          -- Galileo Galilei 
--------------------------------------------------------------------------
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