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 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 62F4ABC6C for ; Tue, 1 May 2007 16:31:47 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.169]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l41EVkCl002701 for ; Tue, 1 May 2007 16:31:47 +0200 Received: by ug-out-1314.google.com with SMTP id k3so51255ugf for ; Tue, 01 May 2007 07:31:46 -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=aOqi6dkM32KdNjTDTUfhO2lt75CpGe8fCpiZWiw1g8lvdfMW6RDqE5hkQ4six+RChkps/pBXkpxH7WlhOVqa5hp7VcvIv8YAU7k6pWO36+6oWyBWce0qSyOiCzX90l95NauqUXaHQolTHEjFeF9bw+aUbFzPFHs35j6s9X6mYoU= 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=GADgmbzTZs+r9IVJJHcwhWzE+pYgY7SReeBk7T11ofV4BrpaNTi2Eb1S1kKgHBbpT82AxTrJnZyuFWCV0LlqbokHa80yu280WoJ8yL/OLvNhYeNq7wf3qJ5zwwckPLI1VquJU38DHrfY22w6wmppOqMm2iFIJF/+89tbqa9zDFs= Received: by 10.66.244.10 with SMTP id r10mr370987ugh.1178029906858; Tue, 01 May 2007 07:31:46 -0700 (PDT) Received: from ?192.168.1.34? ( [83.52.237.136]) by mx.google.com with ESMTP id 30sm900820ugf.2007.05.01.07.31.45; Tue, 01 May 2007 07:31:46 -0700 (PDT) In-Reply-To: References: <220DCCF0-FD2D-4116-8E30-992C1AD3FE95@gmail.com> <72EB1952-F2C8-44AC-B1A6-7D8CE5F4A157@gmail.com> <08610813-0F6F-4BC4-BB22-42FB0CF5EC84@gmail.com> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: 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 15:31:43 +0100 To: "Nicolas Pouillard" X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46374F52.000 on concorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at concorde with ID 46374F52.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 ctyp:01 ctyp:01 failwith:01 sexp:01 polymorphic:01 rec:01 patt:01 ident:02 conv:02 match:02 parse:02 loc:03 loc:03 lid:03 Moving on! I hope this long thread will be instructive for later Google searches. (* Get the path associated with a polymorphic type *) let rec get_appl_path _loc = function | <:ctyp< $lid:_$ >> as tp -> tp | <:ctyp< $_$ . $_$ >> as tp -> tp | <:ctyp< $tp$ $_$ >> -> get_appl_path _loc tp | _ -> failwith "get_appl_path: unknown type" File "pa_sexp_conv.ml", line 320, characters 22-25: While expanding quotation "ctyp" in a position of "patt": Parse error: ident_of_ctyp: this type is not an identifier That would be <:ctyp< $_$ . $_$ >> as tp -> tp It would work (from what I understand) if it was <:ctyp< ! $_$ . $_$ >> but what does this match and how to fix it? Thanks, Joel -- http://wagerlabs.com/