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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 2AD16BC57 for ; Fri, 5 Nov 2010 13:58:57 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArEGAPub00xii1tPY2dsb2JhbACDKZAQjkIXCQoIEAUfqwE8gheFIYkHAQQEAYEdgzJzBIRXiQY X-IronPort-AV: E=Sophos;i="4.58,301,1286143200"; d="scan'208";a="65097696" Received: from nm9.bullet.mail.sp2.yahoo.com ([98.139.91.79]) by mail3-smtp-sop.national.inria.fr with SMTP; 05 Nov 2010 13:58:56 +0100 Received: from [98.139.91.64] by nm9.bullet.mail.sp2.yahoo.com with NNFMP; 05 Nov 2010 12:58:54 -0000 Received: from [98.139.91.48] by tm4.bullet.mail.sp2.yahoo.com with NNFMP; 05 Nov 2010 12:58:53 -0000 Received: from [127.0.0.1] by omp1048.mail.sp2.yahoo.com with NNFMP; 05 Nov 2010 12:58:53 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 960490.11668.bm@omp1048.mail.sp2.yahoo.com Received: (qmail 73114 invoked by uid 60001); 5 Nov 2010 12:58:53 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1288961933; bh=6nFEa40pX6J8aX4ISSiIxP2Y5daZ1JQkT6N/7Ul/Y/o=; 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=IApqeMM1TscARB/HzvUnJMMcdAMXWXrwVWns+lXcD2nJhsVeJDMSFD8N5MOqBz/Tig2sPzewoq1VXEW2q2HTGrnYl5y8oVAgnfwW4Djl6w/0JN3xT1GoLM6xh8SDANX+SufE52TYioZNOLZXedfQwAzrQtEeg1X7GaCfXQeaPco= 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=V5QzSXilrcdlknfNETS53VKhfPF3D4bTIfklE1hRoAVIFrDwKI7XZy9WcXQ7cWj4g7vu2MTO/+G7L9zueBusXZL+7SI8ZLYWBxIR1JFuSnHnr9JNBjevsEd9aoYGO6oqKp13lmC/LX7tqqGxBIYPKGshCmKtkBXxF+hS2GwUvgI=; Message-ID: <482197.73063.qm@web111512.mail.gq1.yahoo.com> X-YMail-OSG: m.qQ0UgVM1m9OuxuKu8323pHlJhuy0JBG1JglOmxeLAdD9z N728adH1C4LthQWHxd0HkHDZX1jQN_y082TzVrEwkdVA3J515mjSvC2d8hA9 QjuSiK_uGimqdvhkMHKtzwP_ThfiqR0hKVY2iyJS1O2S5HK2h1kYmu5X5Krh OunU8_z2jI9H.L9ylCSTfoTSVhSwzYKtCmD8.XWkzzJZTD0Ft4dmMq70c0aq N5X97xX7McmBZxYe5EvSE3LTm4S1dQ1IH9IcKRX8Xp52X95yPV8loUshH1ZE wZLrPEA_psLAFJOEpjezVDYP1UU8yLG5FBtk4dcYICdjQ5YUZfGMFPrE- Received: from [213.205.70.198] by web111512.mail.gq1.yahoo.com via HTTP; Fri, 05 Nov 2010 05:58:53 PDT X-Mailer: YahooMailClassic/11.4.9 YahooMailWebService/0.8.107.284920 Date: Fri, 5 Nov 2010 05:58:53 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] Merging object signatures To: Goswin von Brederlow Cc: caml-list@yquem.inria.fr In-Reply-To: <87k4ksdfiq.fsf@frosties.localdomain> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; merging:01 foo:01 foobar:01 foo:01 val:01 bool:01 signatures:01 caml-list:01 inherits:03 types:05 indeed:07 function:08 i'm:09 i'm:09 object:09 Hi,=0A=0A> Can't you make foo_t and bar_t class types and foobar_t inherits= them=0A> both?=0A=0AThanks for the reply. Yes, in the toy example I poste= d that would indeed=0Abe an alternative. Still, I'm wondering about the mo= st general case;=0Asuppose I had a function that took an object satisfying = both foo_t and bar_t:=0A=0Aval do_something: < foo_t; bar_t; .. > -> bool= =0A=0AThis is what I'm wondering if it's possible to express.=0A=0ABest reg= ards,=0ADario Teixeira=0A=0A=0A=0A