[mercury-users] Destructive map_replace

[Michael Day]

Hi Julien,

> When the first argument of call_pred needs to use RTTI you will be ;-)

What if the argument to call_pred is always a predicate with a fully 
specified non-parametric type?

If I did want to pass in the real type info, how would I get it? Make a 
Mercury wrapper predicate that uses RTTI to get it and passes it in as 
an extra argument to the foreign proc?

Also, is it safe if the argument to call_pred throws an exception?

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