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

[Julien Fischer]

On Wed, 17 Nov 2004, Ralph Becket wrote:

> compiler/make_hlds.m:
> 	Fixed a bug whereby the declarations for special preds for imported
> 	types were incorrectly being module qualified using the name of the
> 	*importing* module.
>

Aren't these generated afresh for each module?  In which case the module
qualification would be correct.

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