[m-rev.] for review: generalize the specialization of compare/3 predicates

Zoltan Somogyi zs at cs.mu.OZ.AU
Tue Feb 5 16:49:25 AEDT 2002


On 05-Feb-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> Why can't it be optimized away by
> unify_proc__generate_du_quad_compare_clauses?

There needs to be something that tests whether the number of alternatives
is zero (which is an error), one (generate just one clause), or more (generate
several clauses in a disjunction).

The code in my diff reflects this directly. Lumping the "one" and "more"
cases together, only to distinguish lthem later by an optimization that
removes the redundant disjunction from the "one" case, seems too roundabout
for my taste.

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



More information about the reviews mailing list