[mercury-users] Destructive map_replace

Michael Day mikeday at yeslogic.com
Mon Jan 5 22:30:40 AEDT 2009

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?



Print XML with Prince!
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