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 71DD7BC69 for ; Sun, 8 Apr 2007 12:34:27 +0200 (CEST) Received: from py-out-1112.google.com (py-out-1112.google.com [64.233.166.178]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l38AYQIc016400 for ; Sun, 8 Apr 2007 12:34:27 +0200 Received: by py-out-1112.google.com with SMTP id b50so801362pyh for ; Sun, 08 Apr 2007 03:34:26 -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=tjkv/J8BHyHLIJzCH+favmiPjF/clzwxDczXGViTIFjqiROqWLa5EedOToq1soZwtaOch8OBBl0bi2Kb8FCr8cFsim64lcjqQnf/jTsrmXhfcB/V9CW3uoRX+d1x1FPD/0UIidhUuhbgyUiFewADA2HorLFz/jFervlshPYYJdM= 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=gd74gDGHns24D2xH/+UxBA4AiCRMat0SrjaGU6B/Ptw8v/bZszfSZpd7QQpNfwi3fWPaQQvZai9OCsVfMa1CN7ai6GEQaL4qpu8tgVeuFmF5bIQrlWYr6+kg1MwUdLhR/GAYznraW1n6w/8qPwpacODs2QP2goZw6VZueVL2ZO8= Received: by 10.114.13.1 with SMTP id 1mr1865654wam.1176028466030; Sun, 08 Apr 2007 03:34:26 -0700 (PDT) Received: by 10.114.181.18 with HTTP; Sun, 8 Apr 2007 03:34:25 -0700 (PDT) Message-ID: Date: Sun, 8 Apr 2007 12:34:25 +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: <46182064.5030209@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> X-j-chkmail-Score: MSGID : 4618C532.001 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 4618C532.001 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 translated:01 foo:01 foo:01 lexer:01 jehenrik:01 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