[m-rev.] diff: quantification speed improvement

[Julien Fischer]

On Fri, 29 Jun 2007, Zoltan Somogyi wrote:

> compiler/quantification.m:
> 	Union the sets of variables in the arms of a disjunction or switch
> 	using a balanced merge. This improves compilation speed on Doug
> 	Auclair's training_cars_full.m test case by 0.8%.
>

Now that deep profiling works on the compiler again, have you tried it
while compiling this example?

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