Browse thread
3.10.0+beta - "Not_found" from a custom camlp4 executable (Delete.delete_rule_in_suffix)
-
Aleksey Nogin
- Nicolas Pouillard
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2007-04-16 (20:26) |
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