[mercury-users] unsafe_set_char

Peter Wang novalazy at gmail.com
Mon May 31 11:01:26 AEST 2010

On 2010-05-30, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> We do, unsafe_set_char has a commented out mode, (in, in, di, uo),  that
> does the update in constant time.  (And indeed, it is to that mode, that
> the existing documentation refers.)  The reason that mode is currently
> commented out is that the compiler will may place string constants in
> static data, even when they may be updated.

I'm in favour of re-enabling the destructive update modes (which is the
only reason for the predicate to exist), and adding a warning about
static constants to the documentation.

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list