Re: [Caml-list] 3.10.0+beta - "Not_found" from a custom camlp4 executable (Delete.delete_rule_in_suffix)

["Nicolas Pouillard" <nicolas.pouillard@gmail.com>]

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