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 666D8BCAB for ; Sat, 14 May 2005 17:37:40 +0200 (CEST) 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 j4EFbe9p026003 for ; Sat, 14 May 2005 17:37:40 +0200 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 RAA08369 for ; Sat, 14 May 2005 17:37:39 +0200 (MET DST) Received: from qrnik.knm.org.pl (paf87.warszawa.sdi.tpnet.pl [217.96.225.87]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4EFb85t011533 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Sat, 14 May 2005 17:37:35 +0200 Received: from qrczak by qrnik.knm.org.pl with local (Exim 3.36 #1) id 1DWyge-0000cL-00 for caml-list@inria.fr; Sat, 14 May 2005 17:36:20 +0200 To: caml-list@inria.fr Subject: Re: [Caml-list] A nastier example X-Face: .B/ouEO}=VFkSJWE}s0@!:diHI.Z,`m}AqK#Vjuscq(Vf1B}H[)v\9tBN}>AdP,QSRbhO]=v 3?;I+cN/Z0HKPm_Eg99/pFrU!WfpjgQ!z":>A~qt0^4):0-UuPB(6^>j!mN$)RIb)rRhXeK:+MLPW[ RVb7Kepvby-ww6_zci7Yy_@IrWW References: From: "Marcin 'Qrczak' Kowalczyk" Mail-Followup-To: caml-list@inria.fr Date: Sat, 14 May 2005 17:36:20 +0200 In-Reply-To: (Julien Verlaguet's message of "Sat, 14 May 2005 16:51:07 +0200 (CEST)") Message-ID: <87d5rtu8ej.fsf@qrnik.zagroda> User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: "Marcin 'Qrczak' Kowalczyk" X-Miltered: at concorde with ID 42861B44.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42861B24.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 reformulate:01 exn:01 ...:98 equality:01 writes:01 pps:01 exceptions:01 jussieu:01 behaviour:01 represented:02 types:02 types:02 example:10 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: Julien Verlaguet writes: > 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 ? They don't have different types. They both have type exn. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/