[m-rev.] Solver support for abstract equivalence solver types

[Ralph Becket]

Julien Fischer, Monday, 13 December 2004:
> >
> > compiler/make_hlds.m:
> > 	Fixed a bug whereby the declarations for special preds for imported
> > 	types were being module qualified using the name of the *importing*
> > 	module.  This turns out to be correct for unification and comparison
> > 	predicates because they are duplicated in every module that needs
> > 	them, but not for solver type initialisation predicates.
> >
> I think that could be more clearly expressed as:
> 
> 	Fix a bug wherby the declarations for the initialisation special
> 	preds ...

Done.

> If you're just glancing through the log message it looks like there was
> a problem with all the special preds, not just the initialisation one.

Well, that's true!  It's just that equality and comparison are currently
handled in their own special way that means this isn't a problem.
Zoltan asked me not to change the behaviour of the code for these preds
in case it broke something.

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