[m-rev.] diff: speed up compilation of large predicates

[Zoltan Somogyi]

On 28-Sep-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> What about for compiler/rl_code.m?

That gets a reduction of only 5%, since the compiler's performance wasn't that
bad to start with. The big predicate there is only about 400 clauses, and
most clauses don't know what function symbol the output argument is bound to.
Since merging ground and ground gives ground, there was no quadratic behavior
for those clauses.

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