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

Ralph Becket rafe at cs.mu.OZ.AU
Fri Nov 19 13:56:49 AEDT 2004

Zoltan Somogyi, Friday, 19 November 2004:
> 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.

It would be best if special preds could be handled using the type class
mechanism instead of all this special-case compiler code.

Is this change acceptable as is?  If special preds are effectively
exported for exported types then the change is conceptually sound.

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

More information about the reviews mailing list