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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 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 927A7BC69; Mon, 17 Dec 2007 10:17:03 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4FAOLMZUdCITR5/2dsb2JhbACBV6cV X-IronPort-AV: E=Sophos;i="4.24,175,1196636400"; d="scan'208";a="5724180" Received: from stork.ru (HELO luckytravels.com) ([66.33.52.121]) by mail1-smtp-roc.national.inria.fr with ESMTP; 17 Dec 2007 10:17:02 +0100 Received: from serp.office.stork.ru (Orel-UISistem.88.quantum.ru [88.86.88.230] (may be forged)) (authenticated bits=0) by luckytravels.com (8.12.8/8.12.5) with ESMTP id lBH9GoYG022322 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Mon, 17 Dec 2007 12:16:52 +0300 Message-ID: <47663E82.40402@stork.ru> Date: Mon, 17 Dec 2007 12:16:50 +0300 From: SerP User-Agent: Thunderbird 2.0.0.9 (X11/20071115) MIME-Version: 1.0 To: Caml-list@yquem.inria.fr, caml-list-bounces@yquem.inria.fr Subject: Camlp4 optional arguments Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; camlp:01 foo:01 ctyp:01 ctyp:01 foo:01 0.80:98 0.80:98 int:01 int:01 expression:02 lid:03 let:03 arguments:07 label:07 label:07 USER_IN_WHITELIST autolearn=no version=3.2.3 X-Spam-Level: X-Spam-Checker-Version: SpamAssassin 3.2.3 (2007-08-08) on luckytravels.com X-Virus-Scanned: ClamAV 0.80/533/Sat Oct 16 21:09:44 2004 clamav-milter version 0.80j on luckytravels.com X-Virus-Status: Clean |This construction does not work properly. let label = "foo" in <:ctyp< ? $lid:label$ : int -> () >> |: optional label type. But this, work fine: <:ctyp ()>> How I can use antiqoutation in this expression? Thanks