From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 73DA9BB83 for ; Sun, 17 Sep 2006 11:45:53 +0200 (CEST) Received: from smtp1.adl2.internode.on.net (smtp1.adl2.internode.on.net [203.16.214.181]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8H9jpc8013030 for ; Sun, 17 Sep 2006 11:45:52 +0200 Received: from rosella (ppp14-47.lns2.syd7.internode.on.net [59.167.14.47]) by smtp1.adl2.internode.on.net (8.13.6/8.13.5) with ESMTP id k8H9jfcr098422; Sun, 17 Sep 2006 19:15:42 +0930 (CST) (envelope-from skaller@users.sourceforge.net) Subject: Re: [Caml-list] Improper generic equality in Caml (Rossberg's SML vs Caml) From: skaller To: rossberg@ps.uni-sb.de Cc: caml-list@inria.fr In-Reply-To: <1667.72.254.55.251.1158469700.squirrel@www.ps.uni-sb.de> References: <20060913091435.537F4AC04@Adric.metnet.fnmoc.navy.mil> <1667.72.254.55.251.1158469700.squirrel@www.ps.uni-sb.de> Content-Type: text/plain Date: Sun, 17 Sep 2006 19:45:41 +1000 Message-Id: <1158486341.5405.11.camel@rosella.wigram> Mime-Version: 1.0 X-Mailer: Evolution 2.6.1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 450D194F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; improper:01 sml:01 rossberg:01 sml:01 leibniz:01 2006:98 sourceforge:01 equality:01 equality:01 wrote:01 abstract:01 caml-list:01 functions:01 caml:02 caml:02 On Sun, 2006-09-17 at 07:08 +0200, rossberg@ps.uni-sb.de wrote: > This problem can sometimes make translation from SML (which has Leibniz > equality) It does? I'm curious how it handles (a) functions (b) abstract types The former can't support other than physical equality and the latter can only support value equality with a user supplied routine. -- John Skaller Felix, successor to C++: http://felix.sf.net