From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id AAA11059 for caml-red; Thu, 6 Jul 2000 00:18:50 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA18676 for <weis@pauillac.inria.fr>; Wed, 5 Jul 2000 23:30:49 +0200 (MET DST)
Received: from dynabook.is.s.u-tokyo.ac.jp (DHCP12-11.CIS.UPENN.EDU [158.130.13.41])
	by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e65LUm502282;
	Wed, 5 Jul 2000 23:30:48 +0200 (MET DST)
Received: from localhost ([127.0.0.1])
	by dynabook.is.s.u-tokyo.ac.jp with esmtp (Exim 3.12 #1 (Debian))
	id 139wkq-0000dT-00; Wed, 05 Jul 2000 17:30:48 -0400
To: Pierre.Weis@inria.fr
Cc: sumii@saul.cis.upenn.edu, caml-list@inria.fr
Subject: Re: polymorphic equality and overloading
In-Reply-To: <200007052122.XAA19555@pauillac.inria.fr>
References: <20000704084224R.sumii@saul.cis.upenn.edu>
	<200007052122.XAA19555@pauillac.inria.fr>
X-Mailer: Mew version 1.94.1 on Emacs 19.34 / Mule 2.3 (SUETSUMUHANA)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <20000705173047X.sumii@saul.cis.upenn.edu>
Date: Wed, 05 Jul 2000 17:30:47 -0400
From: Eijiro Sumii <sumii@saul.cis.upenn.edu>
X-Dispatcher: imput version 991025(IM133)
Sender: weis@pauillac.inria.fr

> Look at mathematics: equality is polymorphic. Addition is just overloaded.

But as you know (and as I wrote in my previous messages), the
polymorphic equality in Caml is not at all the "equality in
mathematics" for many (or most?) datatypes.