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 7D0F9BCAB for ; Sat, 14 May 2005 16:51:17 +0200 (CEST) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j4EEpHGN020861 for ; Sat, 14 May 2005 16:51:17 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.12.11/jtpda-5.4) with ESMTP id j4EEp8fG030682 for ; Sat, 14 May 2005 16:51:08 +0200 (CEST) X-Ids: 165 Received: from hydrogene.pps.jussieu.fr (localhost.localdomain [127.0.0.1]) by hydrogene.pps.jussieu.fr (8.13.3/jtpda-5.4) with ESMTP id j4EEp7ux000768 for ; Sat, 14 May 2005 16:51:07 +0200 Received: from localhost (verlague@localhost) by hydrogene.pps.jussieu.fr (8.13.4/8.13.2/Submit) with ESMTP id j4EEp767000765 for ; Sat, 14 May 2005 16:51:07 +0200 Date: Sat, 14 May 2005 16:51:07 +0200 (CEST) From: Julien Verlaguet To: caml-list@yquem.inria.fr Subject: A nastier example Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-1.7.2 (shiva.jussieu.fr [134.157.0.165]); Sat, 14 May 2005 16:51:09 +0200 (CEST) X-Antivirus: scanned by sophie at shiva.jussieu.fr X-Miltered: at concorde with ID 42861065.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at shiva.jussieu.fr with ID 4286105C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; bool:01 ocaml:01 reformulate:01 toplevel:01 ...:98 ...:98 exception:01 exception:01 equality:01 pps:01 exceptions:01 structures:01 jussieu:01 behaviour:01 compiles:01 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: Here is a nastier case than the one in the previous msg. exception E of int;; let x=E(1);; exception E of bool;; x=E(true);; answer : true I received many mails (in private), explaining to me how the equality works in OCaml, how exceptions are represented etc ... Which is not what I was asking, I will try to reformulate : Is this the behaviour we want ? Can two values of different types be equal ? I agree that this wouldn't be a problem if it would only work in a toplevel ... But it compiles in structures as well !! J