[m-dev.] Types with user defined equality.

[Ralph Becket]

> From: Peter Schachte [mailto:schachte at cs.mu.OZ.AU]
> Sent: 15 May 2001 06:55
> 
> > In the fast string module I just posted, it would have been nice
> > to be able to declare the (structured) str type as having an
> > equality pred, but have this notion of equality visible only
> > *outside* the defining module.
> 
> I think the easiest way to deal with user-defined equality is to have
a
> one-alternative one-argument wrapper type with user-defined equality

This occurred to me just after I sent my e-mail.  It sounds fine to me.

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