[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