[m-rev.] diff: typeclasses.m memory problems

[Julien Fischer]

On Thu, 27 Aug 2009, Mark Brown wrote:

> compiler/hlds_data.m:
> 	Change the map value type of redundant_constraints from a list to
> 	a set.  The lists can in some cases contain many duplicates, and
> 	this can lead to serious memory problems during typechecking.
>
> 	With the zm_eq20.m test case from G12, the number of garbage
> 	collections during typechecking goes from 595 down to just 1.

Nicely done.

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