[mercury-users] Tabling c_pointer values

[Michael Day]

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