[m-rev.] for review: debugging tabling procedures

Zoltan Somogyi zs at cs.mu.OZ.AU
Mon Nov 11 00:02:19 AEDT 2002


On 08-Nov-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> I don't think so. mlds_to_c.m doesn't mention the types of tabling pointers.
> ml_code_gen.m says they are mlds__generic_type and ml_unify_gen.m casts them
> to a type supplied by the caller. All of that should continue to work.
> I will test the diff in hlc.gc though.

The bootcheck in hlc.gc succeeded and passed all the test cases.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list