Version française
Home     About     Download     Resources     Contact us    
Browse thread
3.10.0+beta - "Not_found" from a custom camlp4 executable (Delete.delete_rule_in_suffix)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Nicolas Pouillard <nicolas.pouillard@g...>
Subject: Re: [Caml-list] 3.10.0+beta - "Not_found" from a custom camlp4 executable (Delete.delete_rule_in_suffix)
On 4/16/07, Aleksey Nogin <nogin@metaprl.org> wrote:
> I am trying to figure out how to use the new camlp4 (so that I can have
> some hope of migrating our MetaPRL Theorem Prover - http://metaprl.org/
> to it). I thought that I'd start with something simple - port our local
> mods to pa_macro (now Camlp4MacroParser).
>
> First, I tried making sure I know how to build and link the thing.
> Compiling an unmodified Camlp4MacroParser was not a problem, but then I
> got the following:
>
> % ocamlc -g -thread -I -custom -o macroprint unix.cma threads.cma
> camlp4/camlp4lib.cma camlp4/Camlp4Printers/Camlp4OCamlPrinter.cmo
> camlp4/Camlp4Parsers/Camlp4OCamlParser.cmo Camlp4MacroParser.cmo
> camlp4/Camlp4Filters/Camlp4TrashRemover.cmo camlp4/Camlp4Bin.cmo -linkall
>
> % ./macroprint
> Camlp4: Uncaught exception: Not_found
>
> ocamldebug revealed that the Not_found is being raised from the
> Delete.delete_rule_in_suffix function.
>
> What am I doing wrong?

That's a DELETE_RULE that cannot find the rule to remove, either it's
your DELETE_RULE or it's by loading some camlp4 code that does it.

> % ocamlc -g -thread -I -custom -o macroprint unix.cma threads.cma
> camlp4/camlp4lib.cma camlp4/Camlp4Printers/Camlp4OCamlPrinter.cmo
> camlp4/Camlp4Parsers/Camlp4OCamlParser.cmo Camlp4MacroParser.cmo
> camlp4/Camlp4Filters/Camlp4TrashRemover.cmo camlp4/Camlp4Bin.cmo -linkall

You should add the revised grammar before the original one since the
original is a syntax extension of the revised.

Regards,

-- 
Nicolas Pouillard