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

[Simon Taylor]

On 19-May-2003, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 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.

I won't be committing this change on the release branch.
It relies on other changes which have only been committed
on the main branch.

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