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=2.0 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,DNS_FROM_RFC_WHOIS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 0C53DBBAF for ; Mon, 23 Feb 2009 17:50:48 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtMDAEtioklDww/fmWdsb2JhbACPJIU7AQEBAQEGDQoHEbI5gQWNKgEEAgGEDAaGLA X-IronPort-AV: E=Sophos;i="4.38,254,1233529200"; d="scan'208";a="21562579" Received: from web111516.mail.gq1.yahoo.com ([67.195.15.223]) by mail2-smtp-roc.national.inria.fr with SMTP; 23 Feb 2009 17:50:47 +0100 Received: (qmail 54118 invoked by uid 60001); 23 Feb 2009 16:50:46 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1235407846; bh=wgLZmUEPF9kmr5aiQhEpPIHTe8xr97D07X1liR4UJlI=; 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=1+Gkkll1ASF2Z0VhayYeZgzC/Az9kaso6Z5mR0oZ+2YdggkKIP37ZsviXvrgVqIy8z9o2a/k0kPhsmxy8nHcLIsmK6CFB5Gkx3QrH2Z4akmV0kX2blTtP9Li8PTSe2YpGWEQvKtkhbbLktcK6mx6EFd/+4IahprhJSxi5KyuMJs= 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=HRkm61E+fLr4oUF527jqiWv2J/a1/4gAtK/gxnTjyWKDKgonJUP0pAIldWxtkYPaXRGydCue0K8VkHlGZJlORKSnjOVzF5eBo4D56Z0SJkzkzWyBIc+EzkcwaMRU7zP6dhpRbc/3yWZ5AmW7vHFuywrL/3lDO1/uJ3k4N8Vsy5Y=; Message-ID: <81887.54081.qm@web111516.mail.gq1.yahoo.com> X-YMail-OSG: EYEgKhoVM1nw6j2c5l3QSULK.8cNC32ycybLLSidfcFqcB3.bxe09_uQZCjI2le.ZYLalgUKP4ENuGR1yZSfldAO5AZ6jGndUDjWodI7imy.PjochoEtx3NkRf63vzH7ijIWZW.XktM.DvTbsx9CsAaLq6ldZHshPOt7NqD3ob5Xnz4RZCVZyJTz0XpsAcd..fBxr_SKHUdU32YVjKg3vyTEHhI0RfpEgFWMjNe05EhlYOAPK5z9lXSY13aH0g-- Received: from [213.205.71.62] by web111516.mail.gq1.yahoo.com via HTTP; Mon, 23 Feb 2009 08:50:45 PST X-Mailer: YahooMailWebService/0.7.289.1 Date: Mon, 23 Feb 2009 08:50:45 -0800 (PST) From: Dario Teixeira Subject: Re: [Caml-list] Unusual type declaration and Sexplib To: Jacques Garrigue Cc: caml-list@yquem.inria.fr In-Reply-To: <20090223.192705.191392073.garrigue@math.nagoya-u.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; node:01 node:01 caml-list:01 formulation:01 declaration:02 handles:03 raise:03 solved:04 simpler:05 anyway:05 variable:06 phantom:07 equivalent:09 real:10 real:10 Hi, > You program below is exactly equivalent to the following, > without as. Or is your real code something different? You're right, the formulation without 'as' is simpler, and Sexplib handles it just fine. The real code adds a phantom type variable to t, and the advantage of using 'as' was making the phantomness obvious: type +'a t =3D private [< 'b node_t ] as 'b versus type +'a t =3D private [< 'a t node_t ] But in this case, 'as' does raise more trouble than it's worth... Anyway, issue solved -- thanks! Best regards, Dario Teixeira =0A=0A=0A