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 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 84FE8BC69 for ; Mon, 30 Apr 2007 23:16:52 +0200 (CEST) Received: from wr-out-0506.google.com (wr-out-0506.google.com [64.233.184.229]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3ULGpOC007196 for ; Mon, 30 Apr 2007 23:16:51 +0200 Received: by wr-out-0506.google.com with SMTP id l58so1651928wrl for ; Mon, 30 Apr 2007 14:16:50 -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=EDLp6B4JFJ0rqJBtkiXSdZmTSy5eBrapSSDdyM1cxyx8AJCvUl8mWfp3OURJv7fulBlUFpkM45b9XM0aGFTXobFxfKyrxyAUB588+LgO0FdR61GrUHb5GNFr28yXbDiI8m1D8uCFf31T/8UpblsJPj6ZJqocO8C7cS+vTPr8HBM= 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=f3iABuDZxTvm9Sted70tkfhA9LASilB4SXLwdv+LuuNG8sWKfNku310lyZbGDewhEvumdcsowr1fjeaDXsaW8lg9rT+Oz2OfJcZtcbnPVfU+zJUXuY/whDTJVppam9IJpak1T6QhKZMCd69+1jdrmMJbTBgQYsCFUuhsIYezatk= Received: by 10.82.180.17 with SMTP id c17mr3439936buf.1177967809896; Mon, 30 Apr 2007 14:16:49 -0700 (PDT) Received: from ?192.168.1.34? ( [83.52.237.136]) by mx.google.com with ESMTP id z34sm14430116ikz.2007.04.30.14.16.48; Mon, 30 Apr 2007 14:16:49 -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: Cc: "Caml List" Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: Upgrading sexplib-2.7.0 to camlp4 3.10 Date: Mon, 30 Apr 2007 22:16:46 +0100 To: Nicolas Pouillard X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46365CC3.000 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 46365CC3.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 ctyp:01 ctyp:01 camlp:01 syntax:01 syntax:01 assert:01 ident:02 ident:02 expression:02 ast:02 ast:02 match:02 match:02 arg:03 | <:ctyp< $id:id$ >> -> (match id with | <:ident< $tp1$ . $tp2$ >> -> (match tp_path tp2 with [n] -> n | _ -> assert false) :: tp_path tp1 | _ -> invalid_arg "tp_path") <:ident ... >> above apparently made tp1 and tp2 into idents. How do I convert them to ctyp as the error below requires? This expression has type Camlp4.PreCast.Syntax.Ast.ident = Camlp4.PreCast.Ast.ident but is here used with type Camlp4.PreCast.Syntax.Ast.ctyp = Camlp4.PreCast.Ast.ctyp -- http://wagerlabs.com/