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.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST, 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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 4A6EBBBC4 for ; Thu, 5 Mar 2009 16:17:20 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsACADN8r0nRVdypkWdsb2JhbACUQT8BAQEBCQkMBw+yVYEHkA8BAwEDhAUGgwg X-IronPort-AV: E=Sophos;i="4.38,307,1233529200"; d="scan'208";a="23911212" Received: from mail-fx0-f169.google.com ([209.85.220.169]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Mar 2009 16:16:52 +0100 Received: by fxm17 with SMTP id 17so4184705fxm.27 for ; Thu, 05 Mar 2009 07:16:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:content-type:cc:subject:from :to:references:in-reply-to:date:message-id:user-agent; bh=JJb06pFlnic7sbfnaTTvsRoBypkOu3FBCLxGXWjo7pw=; b=DQefaIhEthgN02EVrCW4xRtonGb/rJ4cBYg/QXIRCXwutD69cRNLTwC8jUVfVJS/tz p05hNjSl5BjiYPkkWXDSQ9YyA/5Zh6IxJppCIGvd7IdgAQMiilrNiADUyZfK45zYvS7/ OudTqQYVye/zhYj69jEfk3xMmyI3QWokemacE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=content-type:cc:subject:from:to:references:in-reply-to:date :message-id:user-agent; b=vg34dgGURaUsPZ4m4ThwxTwcSCWoQHxyDFzs5Vq0dq8hbxd4Vu86c2iwx7dNruf2zA 4VrOtwniW+s9CL7CuqY8mhz04EeqDY4n3YPFDMgcxyiaV+JCrnZV07/P+wGT7aLQu+gs z/A+bi2fDHzd3xDmhRPZx4NusNLqM0PaE5XtQ= Received: by 10.103.121.19 with SMTP id y19mr594923mum.56.1236266212437; Thu, 05 Mar 2009 07:16:52 -0800 (PST) Received: from localhost (ausone.inria.fr [128.93.8.95]) by mx.google.com with ESMTPS id s10sm120715muh.52.2009.03.05.07.16.50 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 05 Mar 2009 07:16:50 -0800 (PST) Content-Type: text/plain; charset=UTF-8 Cc: O'Caml Mailing List Subject: Re: [Caml-list] using a camlp4 man filter with my own type From: Nicolas Pouillard To: Joel Reymont References: <333C38AD-C737-443A-B19A-9DF97E0DBF20@gmail.com> In-Reply-To: <333C38AD-C737-443A-B19A-9DF97E0DBF20@gmail.com> Date: Thu, 05 Mar 2009 16:15:45 +0100 Message-Id: <1236266061-sup-5219@ausone.inria.fr> User-Agent: Sup/git X-Spam: no; 0.00; camlp:01 camlp:01 wiki:01 ocamlfind:01 ocamlc:01 -package:01 -pp:01 cmo:01 expr:01 expr:01 2009:98 token:01 caml-list:01 expression:02 match:02 Excerpts from Joel Reymont's message of Thu Mar 05 16:04:09 +0100 2009: > I looked at the Camlp4 filter wiki [1] but still can't figure this out. > > + ocamlfind ocamlc -package 'oUnit, dyp, extlib' -c -I +camlp4 -g -w a > -pp 'camlp4of -I src -filter map' -I src -o src/easy_type_check.cmo > src/easy_type_check.ml > File "src/easy_type_check.ml", line 45, characters 10-15: > Error: This expression has no method expr > > This used to work fine in 3.10.x and the error points to "match > super#expr e with" in strip_token_loc below. Can you look at (or post) the result of the generation? $ camlp4of -I src -filter map src/easy_type_check.ml -- Nicolas Pouillard