[mercury-users] Tabling c_pointer values

Peter Wang novalazy at gmail.com
Tue Apr 5 09:36:14 AEST 2011

On 2011-04-04, Michael Day <mikeday at yeslogic.com> wrote:
> 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.

Hi Michael,

This is possible using the optional tabling attributes.

    :- pragma memo(p/2, [fast_loose]).
    :- pragma memo(p/2, [specified([addr, output])]).

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