From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 79E4BBC48 for ; Mon, 18 Apr 2005 11:18:29 +0200 (CEST) Received: from irsun282.ifp.fr (ns1.ifp.fr [81.255.42.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j3I9IS6D029795 for ; Mon, 18 Apr 2005 11:18:29 +0200 Received: from smtp.ifp.fr by irsun282.ifp.fr (V35.12) with ESMTP Received: from irnts70 ([156.118.220.36]) by irnts70 with Microsoft SMTPSVC(5.0.2195.6713); Mon, 18 Apr 2005 11:21:30 +0200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4927.1200 Received: From irsun165.ifp.fr ([156.118.22.211]) by irnts70 (WebShield SMTP v4.5 MR1a P0803.345); id 1113816089828; Mon, 18 Apr 2005 11:21:29 +0200 Received: from [156.118.21.21] (irlin234 [156.118.21.21]) by irsun165.ifp.fr (8.8.5/8.8.5) with ESMTP id LAA16532 for ; Mon, 18 Apr 2005 11:18:27 +0200 (MET DST) Message-ID: <42637B63.1070608@ifp.fr> Date: Mon, 18 Apr 2005 11:18:27 +0200 From: Christophe DEHLINGER User-Agent: Mozilla Thunderbird 0.8 (X11/20040913) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: type of == Content-Type: text/plain; format=flowed; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable X-OriginalArrivalTime: 18 Apr 2005 09:21:30.0406 (UTC) FILETIME=[0161BC60:01C543F8] X-Miltered: at concorde with ID 42637B64.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; christophe:01 christophe:01 bool:01 bool:01 semantics:01 posts:01 eventuelles:01 autorisation:01 confidentiel:98 expresse:98 unauthorised:98 equality:01 equality:01 partielle:02 guess:02 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Hi all, I was recently in a situation where I would have liked to be able to=20 test physical equality on terms of possibly different types, but=20 couldn't because of =3D=3D's 'a -> 'a -> bool type. Why isn't its type 'a -> 'b -> bool ? Is there more to the=20 implementation of =3D=3D than a simple physical, asm-level equality test = ? Is it because of the semantics of =3D=3D ? If so, is a 'a -> 'b -> bool=20 equivalent possible / already existing ? I guess something like fun a b=20 -> a =3D=3D (Obj.magic b) should work, but regular posts on this list = have=20 gradually scared me off from ever using the obscure Obj module. Christophe Dehlinger __________________________ Ce message (et toutes ses pi=E8ces jointes =E9ventuelles) est = confidentiel et =E9tabli =E0 l'intention exclusive de ses destinataires. = Toute utilisation de ce message non conforme =E0 sa destination, toute = diffusion ou toute publication, totale ou partielle, est interdite, sauf = autorisation expresse. L'IFP d=E9cline toute responsabilit=E9 au titre = de ce message. This message and any attachments (the message) are confidential and = intended solely for the addressees. Any unauthorised use or = dissemination is prohibited. IFP should not be liable for this message. Visitez notre site Web / Visit our web site : http://www.ifp.fr __________________________