[m-rev.] for review: [CTGC] memo type_contains_subtype

[Peter Wang]

On 2008-08-06, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>
> On Tue, 5 Aug 2008, Peter Wang wrote:
>
>> Branches: main
>>
>> compiler/ctgc.selector.m:
>> 	Memoise type_contains_subtype.  This greatly speeds up structure
>> 	sharing/reuse analysis on some modules.
>>
>> 	Add a predicate to reset the memo table.
>>
>> compiler/structure_reuse.analysis.m:
>> compiler/structure_sharing.analysis.m:
>> 	Reset the memo table after these analyses.
>
> That's fine provided the compiler still bootstraps in grades that don't
> support tabling, e.g. hl.gc.  Tabling pragmas should be ignored in such
> grades but you should check that the reset predicate is created in them.

The reset predicate is there.  But it tries to reset the table, which
doesn't exist.  I guess I'll fix that first.

Peter

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------