[mercury-users] Destructive map_replace

[Michael Day]

Hi Julien,

> You could do it an a grade independent manner by catching the exception
> within call_pred and propagating the error across the Mercury-C boundary
> by hand, but doing so would not be very efficient.

Inefficient because of the overhead of calling "try" to catch it?

All in all, this approach is not looking very promising, with the static 
data issue and the exception issue. Even if it all works perfectly, 
there is still the problem with nested unique modes not being supported, 
which makes it difficult to use this predicate in practice.

Making CTGC work would save an awful lot of trouble :)

Cheers,

Michael

-- 
Print XML with Prince!
http://www.princexml.com
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------