Using --external-tokens with --inspection
Hi! I'm not sure if I'm missing something in the manual, but I seem to be unable to get my --external-tokens
build-setup working with the --inspection
API.
My build-system (bsb) invokes Menhir as follows:
menhir --only-tokens $src_root_dir/src/parserAutomaton.mly $src_root_dir/src/parserUtils.mly \
--base $src_root_dir/src/tokens
menhir $src_root_dir/src/parserAutomaton.mly $src_root_dir/src/parserUtils.mly \
--external-tokens Tokens --base $src_root_dir/src/parserAutomaton \
--explain --table --lalr --inspection
Here's my grammar, and the error I'm getting:
We've found a bug for you!
/Users/ec/Sync/Code/excmd/src/parserAutomaton.ml 1547:24-41
1545 ┆ module Symbols = struct
1546 ┆
1547 ┆ type 'a terminal = 'a Tokens.terminal
1548 ┆
1549 ┆ type _ nonterminal =
This type constructor's parameter, `Tokens.terminal`, can't be found. Is it a typo?
The tokens.ml{,i}
being generated by --external-tokens
doesn't include a terminal
type; where is this supposed to be coming from? (=