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

[Zoltan Somogyi]

On 19-Nov-2004, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> In other words, unification and comparison preds are generated afresh
> for each type visible to a module (because they are handled specially),
> but initialisation preds aren't.  This seemed the most straightforward
> fix.

Probably there ought to be a switch on the special_pred id that decides
whether the new predicate ought to be module qualified with the name of
the module you are importing from.

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