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

Zoltan Somogyi zs at cs.mu.OZ.AU
Fri Nov 19 13:28:23 AEDT 2004

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.

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

More information about the reviews mailing list