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

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Apr 17 13:51:22 AEST 2004

On 16-Apr-2004, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Ralph Becket, Thursday, 15 April 2004:
> > I'm having trouble making a little non-canonical type example work.
> > [...]
> I've answered my own question: here's the trick of it in case anyone was
> wondering:

I just want to say that you did a great job of answering that question :)

Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
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

More information about the developers mailing list