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

[Zoltan Somogyi]

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