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.1 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 2A0F1BC0A for ; Sun, 15 Apr 2007 11:00:59 +0200 (CEST) Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.239]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3F90wmK007512 for ; Sun, 15 Apr 2007 11:00:58 +0200 Received: by nz-out-0506.google.com with SMTP id l8so1112672nzf for ; Sun, 15 Apr 2007 02:00: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=c5PpOcetdCbm2rNmB5iq6QGy+F6v9j3C07QQUzMzgrAgPcB1hHV2hfIw0yc2R0Jt3nndVy4LgrEPmGrpIAfLtMWvMcx9R19W/DqPXURFt6JmA9i8QPcnTR/u6JTDKlnD9A/SWHu2WEtqFaNDfkC4uD6fbUX29KQ1tSIQgZFNax4= 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=NYXHKFo92nuAbR+iBKewiJWudMDqDHEsdtduzNoyTzfwN+R53PPBc9BBKvZmwrQ3M7zq2dyD9koi5NlLuOMO+kuYONdOr829lZlfywvlaSxx2TwfL/D/PO6xd0eZWDFO5I0LQi7S6BC8fo7h6Eyf+J4wRcr/7jPrrNWTYFUKQ24= Received: by 10.114.77.1 with SMTP id z1mr332458waa.1176627657485; Sun, 15 Apr 2007 02:00:57 -0700 (PDT) Received: by 10.114.181.18 with HTTP; Sun, 15 Apr 2007 02:00:57 -0700 (PDT) Message-ID: Date: Sun, 15 Apr 2007 11:00:57 +0200 From: "Nicolas Pouillard" To: "Jeff Henrikson" Subject: Re: [Caml-list] compiling camlp4 dynamic_functor_example.ml Cc: caml-list@inria.fr In-Reply-To: <4621B284.7000801@yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <46182064.5030209@yahoo.com> <4621B284.7000801@yahoo.com> X-j-chkmail-Score: MSGID : 4621E9CA.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 4621E9CA.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 functor:01 henrikson:01 jehenrik:01 functor:01 camlp:01 sig:01 syntax:01 sig:01 syntax:01 lident:01 jehenrik:01 ocamlc:01 -pp:01 bool:01 On 4/15/07, Jeff Henrikson wrote: > Sorry, there still seems to be an issue with the > dynamic_functor_example.ml. The version I got to compile still had a > bit of functionality removed. Ok, sorry it's now really updated. Since the token type can be changed the Camlp4.Sig.Syntax don't rely directly on it. That's why I have switched to Campl4.Sig.Camlp4Syntax (and Register.OCamlSyntaxExtension) in the example. > > > Yes just open Camlp4.Sig to see the token type now. > > Really? This seems to generate a type of conflict with the Syntax.Gram > when LIDENT is used in an EXTEND. > > dynamic_functor_example5 is the text on your page verbatim. > > ~/src/camlp4-beta jehenrik$ ocamlc -I +camlp4 -pp camlp4orf -c > dynamic_functor_example5.ml > File "dynamic_functor_example5.ml", line 18, characters 20-30: > This expression has type (Camlp4.Sig.camlp4_token -> bool) * string > but is here used with type > Gram.token_pattern = (Gram.Token.t -> bool) * string > Type Camlp4.Sig.camlp4_token is not compatible with type > Gram.Token.t = Syntax.Token.t > > Regards, > > > Jeff Henrikson > > > > > > Nicolas Pouillard wrote: > > Hello, > > > > On 4/8/07, Jeff Henrikson wrote: > >> The "dynamic_functor_example.ml" from the documentation appears to not > >> compile anymore with the latest camlp4 release. Here's my attempt to > >> make it work. > > > > Thanks. > > > >> from http://gallium.inria.fr/~pouillar/camlp4-changes.html > > > > I've updated it! > > > > [...] > > > >> The first thing I am reasonably sure needs changing is Sig.Syntax.S > >> doesn't seem to exist anymore, and judging by the signature of the > >> Register.SyntaxExtension functor, we want a Sig.SyntaxExtension. If we > >> make the parameter Syntax a Sig.Syntax then Make becomes a functor with > >> signature Sig.SyntaxExtension. > > > > Right. > > > >> The next thing I figured out by looking at the translated > >> json_static.ml, which is that > >> > >> GLOBAL: foo > >> > >> needs to be > >> > >> GLOBAL: foo; > > > > It always had to be like that (even in the previous web page, strange...) > > > >> To avert a syntax error. > >> > >> Likewise, the DELETE_RULE seems to upset the lexer with syntax errors: > > > > Yes, the DELETE_RULE example was br0ken. > > > > [...] > > > >> And yet there is still a symbol not found: > >> > >> ~/src/camlp4-beta jehenrik$ ocamlc -I +camlp4 -I +camlp4/Camlp4Parsers > >> -pp camlp4orf camlp4.cma -c dynamic_functor_example3.ml > >> File "dynamic_functor_example3.ml", line 14, characters 2-29: > >> Unbound module Camlp4.Sig.Camlp4Token > >> > >> Which is an unbound because in the current version Camlp4, > >> Camlp4.Sig.Camlp4Token is a module type, not a module. I have no idea > >> what is intended here. > > > > Yes just open Camlp4.Sig to see the token type now. > > > >> BTW, my compilation string is: > >> > >> ocamlc -I +camlp4 -I +camlp4/Camlp4Parsers -pp camlp4orf camlp4.cma -c > >> dynamic_functor_example3.ml > > > > -I +camlp4/Camlp4Parsers is useless since one doesn't use any > > Camlp4*Parser module. > > > > camlp4.cma no longer exists it's camlp4lib.cma but here it's also > > useless since one doesn't link (-c) > > > > ocamlc -I +camlp4 -pp camlp4orf -c dynamic_functor_example3.ml > > > >> So that's the best I can do. Please help. The application I want to > >> write is not feasible in the old camlp4, but I suspect may be possible > >> in the new. Thanks for all the effort getting the system to the next > >> level. > > > > Thanks for your porting efforts! > > > > -- Nicolas Pouillard aka Ertai http://uttk.org Uttk -- Unified Test Tool Kit