Build Log: menhir.20260112

Processing: [default: loading data] [menhir.20260112: extract] -> retrieved menhir.20260112 (cached) [menhir: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "menhir" "-j" "255" (CWD=/home/opam/.opam/default/.opam-switch/build/menhir.20260112) - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... - (cd _build/default/driver/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict Parser.mly --compare-errors ParserMessages.auto.messages --compare-errors ParserMessages.messages) > _build/default/driver/stage2/ParserMessages.check - Read 103 sample input sentences and 103 error messages. - Read 103 sample input sentences and 50 error messages. - (cd _build/default/driver/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict Parser.mly --compile-errors ParserMessages.messages) > _build/default/driver/stage2/ParserMessages.ml - Read 103 sample input sentences and 50 error messages. - (cd _build/default && driver/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v driver/stage2/Parser.mly --base driver/stage2/Parser --infer-read-reply driver/stage2/Parser__mock.mli.inferred) - Grammar has 57 nonterminal symbols, among which 1 start symbols. - Grammar has 38 terminal symbols. - Grammar has 132 productions. - Built an LR(0) automaton with 205 states. - The grammar is not SLR(1) -- 7 states have a conflict. - The construction mode is no-pager. - Built an LR(1) automaton with 314 states. - One shift/reduce conflict was silently solved. - Extra reductions on error were added in 50 states. - Priority played a role in 0 of these states. - 158 out of 314 states have a default reduction. - 110 out of 314 states are represented. - 45 out of 98 symbols keep track of their start position. - 40 out of 98 symbols keep track of their end position. - The StackLang code contains 4186 instructions in 282 blocks. - The StackLang code comprises 5 mutually recursive groups. -> compiled menhir.20260112 -> installed menhir.20260112