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

[Fergus Henderson]

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