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

Ralph Becket rafe at cs.mu.OZ.AU
Wed Sep 28 15:16:45 AEST 2005


Zoltan Somogyi, Wednesday, 28 September 2005:
> Speed up the compilation of predicates with lots of disjuncts dramatically.
> With this change, the time to compile the transitive closure tabling benchmark
> with an 8000 clause "edge" predicate falls from 230 seconds to 14, a 94%
> reduction. The time to compile the six largest compiler modules is unaffected.

That looks fine.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list