From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 60DEFBC69 for ; Fri, 7 Dec 2007 16:16:37 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAADPzWEfAXQImh2dsb2JhbACPWQIBCAopgRQ X-IronPort-AV: E=Sophos;i="4.23,268,1194217200"; d="scan'208";a="5388688" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 07 Dec 2007 16:16:37 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id lB7FGVK7001575 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 7 Dec 2007 16:16:37 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAAbyWEfRVca8kmdsb2JhbACPWQIBAQcEBCmBFg X-IronPort-AV: E=Sophos;i="4.23,268,1194217200"; d="scan'208";a="6588926" Received: from rv-out-0910.google.com ([209.85.198.188]) by mail3-smtp-sop.national.inria.fr with ESMTP; 07 Dec 2007 16:16:35 +0100 Received: by rv-out-0910.google.com with SMTP id f5so652100rvb for ; Fri, 07 Dec 2007 07:16:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=FA/PDw86I/s7nz/Rtwo4XfVi7rVrWtKuqdNQJpn0kKQ=; b=qCW0BTQnxKTN6bJrPb6HPoVkFZFpWmEeEsmK0npvdNZvKov0CP0E6gRcoc9EBXelJ38m+SDTlkQrrnCXS8xbP/sex6/q6JYpc6MrLNOnPwv0VLS5dr8mjxnDUfp2grGpIdw//zblscGLOF7N3NhTCuY8C0oftTOmA14LoSmyDEs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=N5taOQiK86uz5QwaXV7ZL9Mu7hsuVqVKb11IZOJjbIM3H7L17/tdUfjYflvH73jkO8X9IsMb9kf+fI6NbTQ9VIUO0NOEwaC76XPHnjBl/7oB1v1YdqCNJ7M1zix5siAEPLft259YdcRldnC3zaQZlyyulAysMBr4e5nYjCY4Trs= Received: by 10.141.197.8 with SMTP id z8mr2719285rvp.1197040593486; Fri, 07 Dec 2007 07:16:33 -0800 (PST) Received: by 10.140.200.16 with HTTP; Fri, 7 Dec 2007 07:16:33 -0800 (PST) Message-ID: <90823c940712070716n55f79c37yf957575db5d591bc@mail.gmail.com> Date: Fri, 7 Dec 2007 18:16:33 +0300 From: "Dmitry Bely" To: ocaml Subject: Re: [Caml-list] Class runtime representation In-Reply-To: <9d3ec8300712070636j36068326ta63b65456380b408@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <90823c940712070559i5c435a10l76bbb3ec328690aa@mail.gmail.com> <9d3ec8300712070636j36068326ta63b65456380b408@mail.gmail.com> X-Miltered: at discorde with ID 475963CF.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; runtime:01 compilation:01 hash:01 ocamlopt:01 invoke:01 wrote:01 incompatible:01 dmitry:01 dmitry:01 caml-list:01 bely:01 bely:01 labels:03 dec:05 probably:07 On Dec 7, 2007 5:36 PM, Till Varoquaux wrote: > I would conjecture it needs the full name in case of collision, but > someone better informed than me will probably give you the definite > answer. No, it's detected during compilation: class test = object method argzad = 1 method ctzakz = 2 (* the same hash value *) end ocamlopt -c test.ml File "test.ml", line 2, characters 0-53: Method labels `ctzakz' and `argzad' are incompatible. Change one of them. When you invoke a method the name is not involved (only the label is). - Dmitry Bely