From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 6357DBCAC for ; Sun, 15 May 2005 17:00:52 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4FF0pu2009488 for ; Sun, 15 May 2005 17:00:51 +0200 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 RAA06330 for ; Sun, 15 May 2005 17:00:51 +0200 (MET DST) Received: from ciao.gmane.org (main.gmane.org [80.91.229.2]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j4FF0oFf009583 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Sun, 15 May 2005 17:00:51 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1DXKak-0003HG-3L for caml-list@inria.fr; Sun, 15 May 2005 16:59:42 +0200 Received: from host155-157.pool8249.interbusiness.it ([82.49.157.155]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 15 May 2005 16:59:42 +0200 Received: from vincenzo_yahoo_addressguard-gmane by host155-157.pool8249.interbusiness.it with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 15 May 2005 16:59:42 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Vincenzo Ciancia Subject: Re: A nastier example Date: Sun, 15 May 2005 16:59:35 +0200 Message-ID: <1116169175.13789.5.camel@localhost.localdomain> References: <87d5rtu8ej.fsf@qrnik.zagroda> Mime-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: host155-157.pool8249.interbusiness.it In-Reply-To: <87d5rtu8ej.fsf@qrnik.zagroda> X-Mailer: Evolution 2.2.1.1 Sender: news X-Miltered: at nez-perce with ID 42876423.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42876422.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; exn:01 giorno:98 favore:98 exception:01 equality:01 equality:01 structures:01 data:02 implemented:02 dependent:02 types:02 types:02 structure:04 structural:04 strange:07 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: Il giorno sab, 14/05/2005 alle 17.36 +0200, Marcin 'Qrczak' Kowalczyk ha scritto: > > > Can two values of different types be equal ? > > They don't have different types. They both have type exn. Yes but one usually does not expect structural equality to "equalize" things with different structure, while the example posted does something really strange and implementation dependent - I don't know what other discussions have been around about this so sorry if this is an old flame :) but exception equality implemented that way makes physical data structures implementation observable (or am I fooled by something?) Vincenzo -- Per rispondermi in privato per favore usate vincenzo_ml at yahoo dot it To send me a private reply please use vincenzo_ml at yahoo dot it