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.2 required=5.0 tests=AWL,PORN_URL_SEX,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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 57C63BC69 for ; Mon, 30 Apr 2007 16:01:59 +0200 (CEST) Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.224]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3UE1v4c015447 for ; Mon, 30 Apr 2007 16:01:58 +0200 Received: by nz-out-0506.google.com with SMTP id l8so2065890nzf for ; Mon, 30 Apr 2007 07:01:57 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=CA8auRBMVFp5+zTno5fpfveyqX0BgP01jmSgsd1j0EC2wqord7cM5tAU2OcJChlVVe4cwl954hst/XeFtnL0o7uDeLP+Ajz4OLDuyHcxeTppOOfJ+U9h+hrVHT3C9MSIW5kH0w25wgKLXBJ98VyyNOXVn69dmNxrDrHR9QH5AwI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Tm6ouWFSBLXbs1/TBygmR4TKP6ZT9Ku1mSNuPvCzBS2x5yy8L/BlhiTKs1/M+x6N079Bk5s0cpQuht3EEDcTSPQ+GAY0LlPCG0/ks2dWVdhET+bGVUtU0YBLGnI6+WuBvokRzYrWP2PPzJ9/O1PdEePV4nWW/7i2hTGauMTe0MM= Received: by 10.115.33.1 with SMTP id l1mr2035411waj.1177941716987; Mon, 30 Apr 2007 07:01:56 -0700 (PDT) Received: by 10.114.181.18 with HTTP; Mon, 30 Apr 2007 07:01:56 -0700 (PDT) Message-ID: Date: Mon, 30 Apr 2007 16:01:56 +0200 From: "Nicolas Pouillard" To: "Joel Reymont" Subject: Re: Upgrading sexplib-2.7.0 to camlp4 3.10 Cc: "Caml List" In-Reply-To: <220DCCF0-FD2D-4116-8E30-992C1AD3FE95@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <220DCCF0-FD2D-4116-8E30-992C1AD3FE95@gmail.com> X-j-chkmail-Score: MSGID : 4635F6D6.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 4635F6D6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 ctyp:01 ocamlc:01 camlp:01 -pp:01 -for-pack:01 sexp:01 sexp:01 ctyp:01 foo:01 wrote:01 matched:01 patt:01 int:01 int:01 On 4/30/07, Joel Reymont wrote: > The bit below gives an error > > | <:ctyp< $tp1$ . $tp2$ >> -> > > ocamlc -c -I +camlp4 -pp camlp4orf -for-pack Sexplib pa_sexp_conv.ml > File "pa_sexp_conv.ml", line 105, characters 24-29: > While expanding quotation "ctyp" in a position of "patt": > Parse error: ident_of_ctyp: this type is not an identifier > > How do I interpret this and what do I need to learn to fix it? This is because dot cannot be used anywhere in types but just for identifiers. So Foo.t is a type but not (int -> int).int even syntactically. So you have to take the case <:ctyp< $id:i$ >> and then play with `i' that is an ident and can be matched with <:ident< ... >> -- Nicolas Pouillard