[mercury-users] Tabling c_pointer values

Michael Day mikeday at yeslogic.com
Mon Apr 4 19:30:09 AEST 2011


Hi,

It would be nice to be able to table c_pointer values; currently this 
can be achieved by converting them to int and back, but this seems 
unnecessarily circuitous.

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



More information about the users mailing list