From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 EE5B9BB9C for ; Wed, 23 Nov 2005 20:20:14 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jANJKEnK025940 for ; Wed, 23 Nov 2005 20:20:14 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA09765 for ; Wed, 23 Nov 2005 20:20:13 +0100 (MET) Received: from postman.medtronic.com (postman.medtronic.COM [144.15.157.121]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jANJKCIO025935 for ; Wed, 23 Nov 2005 20:20:13 +0100 Received: from bishop.pace.medtronic.COM (localhost [127.0.0.1]) by postman.medtronic.com (8.12.9/8.12.9) with ESMTP id jANJK3UY022009 for ; Wed, 23 Nov 2005 13:20:03 -0600 (CST) Received: from pace.medtronic.com. (nenya.pace.medtronic.COM [144.15.20.58]) by bishop.pace.medtronic.COM (8.9.1b+Sun/8.9.1) with ESMTP id NAA25113 for ; Wed, 23 Nov 2005 13:20:02 -0600 (CST) Received: from [127.0.0.1] (IDENT:U2FsdGVkX18whQ+NR9emPRISCTK9J4I166lbAi3j0Z4@localhost [127.0.0.1]) by pace.medtronic.com. (8.12.11/8.12.11) with ESMTP id jANJK3ho002311 for ; Wed, 23 Nov 2005 13:20:03 -0600 Message-ID: <4384C0E3.5030300@confluent.org> Date: Wed, 23 Nov 2005 13:20:03 -0600 From: Tom Hawkins User-Agent: Mozilla Thunderbird 1.0 (X11/20041206) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Physical compare Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 4384C0EE.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4384C0EC.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; equality:01 define:01 let:03 comparison:03 structural:04 instance:09 keys:10 but:12 version:12 -tom:13 compare:14 compare:14 thanks:16 then:17 then:17 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Is their a version of "compare" that is based on physical equality? If not, how can I define one? I tried: let compareq a b = if a == b then 0 else if a > b then 1 else (-1) But unfortunately, (>) is a structural comparison. I need to make a Map where the keys are distinguished by the physical instance. Thanks! -Tom