[mercury-users] Tabling c_pointer values

[Peter Wang]

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.
e.g.

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

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