[m-dev.] for review: add type_ctor_reps for user-defined equality

[Warwick Harvey]

Tyson wrote:
> On 26-Oct-1999, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> > Three comments. First, you need to wait until the version number change
> > has been installed on all systems before committing this.
> 
> Already done -- it appears all the machines have installed it over the
> weekend.

... depending on one's definition of "all the machines".  :-)

Please remember to tag it before you commit.

Thanks,
Warwick
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------