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

[Julien Fischer]

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.

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