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

[Ralph Becket]

Zoltan Somogyi, Thursday, 27 January 2005:
> 
> This is not a good name. How about greater_than_disregard_module_qual?

Changed.

> 
> > +		(
> > +			NameA @> NameB
> > +		;
> > +			NameA = NameB,
> > +			ArityA @> ArityB
> > +		)
> 
> You should call compare on NameA and NameB just one, and test the result
> for > and =.

Done.  I'll check it in once the bootcheck passes.

Cheers,
-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------