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.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 04D66BC69 for ; Tue, 1 May 2007 15:54:05 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.168]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l41Ds4A8025646 for ; Tue, 1 May 2007 15:54:04 +0200 Received: by ug-out-1314.google.com with SMTP id k3so46229ugf for ; Tue, 01 May 2007 06:54:04 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=PqbIHEUCl3Yu0O0r+i+G0q5/oTZkLWtNJHAXplviMVTgq6K93NR7euuv1695nEMHt9aoCVcLaCwECxtjChDA0gw/ZkQ3to4OnX2OAYO/VolOu1sga+indgNFVmSVpm5WRgVPL0gevflN6z/ED+iUhaJmMEDnViG3kelenjRh1BU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=cEJG7TuHzvSF0hBcVXOA1mX1W2NlIBBvgtdY2/IA+8sprE0a3qZpQm6Qk7Anf8XxPnynnO9Q+nQuxNLQ/5U8UPw8JwOS7kidZ9x3qqUE57sKqXqtFRIM1gUIivusofhI4m/AQLOW2SiDZDiL67pKgTpr7en0eKdJyhm6uak0HD8= Received: by 10.66.244.10 with SMTP id r10mr350710ugh.1178027644423; Tue, 01 May 2007 06:54:04 -0700 (PDT) Received: from ?192.168.1.34? ( [83.52.237.136]) by mx.google.com with ESMTP id 24sm836527ugf.2007.05.01.06.54.03; Tue, 01 May 2007 06:54:03 -0700 (PDT) In-Reply-To: References: <220DCCF0-FD2D-4116-8E30-992C1AD3FE95@gmail.com> <72EB1952-F2C8-44AC-B1A6-7D8CE5F4A157@gmail.com> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <08610813-0F6F-4BC4-BB22-42FB0CF5EC84@gmail.com> Cc: "Caml List" Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: Upgrading sexplib-2.7.0 to camlp4 3.10 Date: Tue, 1 May 2007 14:54:02 +0100 To: "Nicolas Pouillard" X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 4637467C.000 on concorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at concorde with ID 4637467C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 bindings:01 sexp:01 expr:01 camlp:01 syntax:01 syntax:01 2007,:98 wrote:01 patt:01 patt:01 ident:02 ident:02 tuple:02 expression:02 On May 1, 2007, at 2:35 PM, Nicolas Pouillard wrote: > So where you see (p, e) you can write <:binding< $p$ = $e$ >>. I took care of the issue by using the above at the source that generated bindings. In the same sexp_of_tuple there's let matching = ( <:patt< ( $list:patts$ ) >>, None, expr ) in `Match [matching] which gives the following error on $list:patts$ -- This expression has type Camlp4.PreCast.Syntax.Ast.patt list but is here used with type Camlp4.PreCast.Syntax.Ast.ident list -- patts is [patt] where "patt = idp _loc name" and "idp _loc id = <:patt< $lid:id$ >>" I'm guessing that $list always represents "ident list" so it can't be used here. What should be used instead? Thanks, Joel -- http://wagerlabs.com/