[m-rev.] Ignore module qualification in inst matching

[Zoltan Somogyi]

On 27-Jan-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> +greater_than_after_dequal(ConsIdA, ConsIdB) :-

This is not a good name. How about greater_than_disregard_module_qual?

> +		(
> +			NameA @> NameB
> +		;
> +			NameA = NameB,
> +			ArityA @> ArityB
> +		)

You should call compare on NameA and NameB just one, and test the result
for > and =.

Otherwise, the diff looks fine.

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