[m-rev.] for review: module qualification of equality preds

[Ralph Becket]

Simon Taylor, Monday, 19 May 2003:
> 
> Estimated hours taken: 4
> Branches: main, release
> 
> The compiler was not module qualifying the `where equality is ...'
> part of type declarations in interface files. This could cause the
> compiler to use the wrong predicate in importing modules if the
> user-defined equality predicate was not exported.
> 
> To avoid this problem we now require user-defined equality or
> comparison predicates for a type to be defined in the same module
> as the type. This is the only simple way to module qualify the
> unification predicates in interface files without running
> typechecking.

This restriction should be documented for users.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------