From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 4BD37BC57 for ; Fri, 5 Nov 2010 18:59:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlMCAIfi00xiilslgmdsb2JhbACTOo5GAQELCwgHEwMfq1CCF4UyiQcBBAQBhUMEhFiJCIgG X-IronPort-AV: E=Sophos;i="4.58,304,1286143200"; d="scan'208";a="86388747" Received: from nm18-vm0.bullet.mail.ne1.yahoo.com ([98.138.91.37]) by mail1-smtp-roc.national.inria.fr with SMTP; 05 Nov 2010 18:59:00 +0100 Received: from [98.138.90.55] by nm18.bullet.mail.ne1.yahoo.com with NNFMP; 05 Nov 2010 17:58:59 -0000 Received: from [98.138.87.12] by tm8.bullet.mail.ne1.yahoo.com with NNFMP; 05 Nov 2010 17:58:59 -0000 Received: from [127.0.0.1] by omp1012.mail.ne1.yahoo.com with NNFMP; 05 Nov 2010 17:58:59 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 496479.99654.bm@omp1012.mail.ne1.yahoo.com Received: (qmail 54413 invoked by uid 60001); 5 Nov 2010 17:58:58 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1288979938; bh=SM8x2lyR5ksWue9IbHkSiGqZgatZ7ek2laXUwmBYfuM=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=ntItlM7cRisP/88iNmr8AKBJbIQi2Lm+rcKwKQ7GJQochC9Gc/KrbHVE64BH/vSO9lBZWwWwI0193cA7+3doD37HE5nCHkB9hrKjuKCX+CSq8AnOmMhBtz+58H54fgf/jCB9rhLnY50MtNA+nA96KTJMGA3dNAyVo8hAJRFanx8= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=ZS40d9V/VgYCa5eVmckOHbnoM5mkHfEJ1XFRqNpy6WKNrVsckRP6utGzU1UAoLe8/AIx9NGFF8FvT7fpL8Bjgyl8u2Fih4Ms7ceibU744OgUlTeBCFYzlWlGAX0BiF8NlFRycFyVhpPbkwmIS/sjgKApo+T9tDBbH+pMMQzFXSQ=; Message-ID: <820798.54345.qm@web111515.mail.gq1.yahoo.com> X-YMail-OSG: z69Iz8QVM1kORUp7Oi_FMCSdgwbkfoK9rLsmJVXL5JtAufd 8PqFKUcsqvzebYacpBHut17bZTQtiHO1TKqCsM0g_R8Hi7Y5_zSF4ZSrZPsV Xeq0iJEcs9H_CwJ3kfNvCdJV91Gxe_pE.f_YUPooznHHuWWvSsWEb3WmEPxn .rWGgDy_4mRqtrdDNWKfZ.9b0dSpUFEXGrKgTVAxpz4fTThtha.RSjV7WBVW vRi..ih4IGRiDBLGXuS8TPWZ5CmHQTjR.ZBMbV53do7.cJTJzcYxUs8fOwbZ TWHX0nVBmuzZhthwek0Hd9o0uSIXHClU5jB1oSeGcHT.nR_UU3U1PZn8- Received: from [213.205.70.198] by web111515.mail.gq1.yahoo.com via HTTP; Fri, 05 Nov 2010 10:58:58 PDT X-Mailer: YahooMailClassic/11.4.9 YahooMailWebService/0.8.107.284920 Date: Fri, 5 Nov 2010 10:58:58 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] Merging object signatures To: Jacques Garrigue Cc: caml-list@yquem.inria.fr In-Reply-To: <3D8D99E9-F325-4697-B261-4B39E3E7F00A@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; merging:01 foobar:01 foo:01 val:01 foobar:01 bool:01 verbose:01 syntax:01 verbose:01 syntax:01 variants:01 polymorphic:01 signatures:01 caml-list:01 inherit:01 Hi,=0A=0A> =A0 class type foobar_t =3D object inherit foo_t inherit bar_t e= nd=0A> =A0 val do_something : #foobar_t -> bool=0A> =0A> I agree that this = is rather verbose. I thought a few times of adding the=0A> syntax you propo= se, but was always stopped by the fact you can already do=0A> it in a verbo= se way.=0A=0AActually, I was unaware that the '#' syntax could also be used= for objects,=0Athough in retrospect it does make sense given how its used = with polymorphic=0Avariants. And verboseness notwithstanding, the code abo= ve does solve my=0Aproblem nicely -- thanks!=0A=0ABest regards,=0ADario Tei= xeira=0A=0A=0A=0A