Let me start with a thank you for the new version of menhir, x100 speedup and x1000 less memory wow.
I look forward to using this new version.
Perhaps this isn’t the place to report errors, however I’m seeing this compilation issue with 4.08 - 4.10 using the latest menhir with atdgen. Opam-CI
### output ###
# ocamlc atd/src/.atd.objs/byte/atd__Parser.{cmo,cmt} (exit 2)
# (cd _build/default && /home/opam/.opam/4.08/bin/ocamlc.opt -w -40 -w -27 -safe-string -g -bin-annot -I atd/src/.atd.objs/byte -I /home/opam/.opam/4.08/lib/easy-format -I /home/opam/.opam/4.08/lib/re -I /home/opam/.opam/4.08/lib/seq -intf-suffix .ml -no-alias-deps -open Atd -o atd/src/.atd.objs/byte/atd__Parser.cmo -c -impl atd/src/parser.ml)
# File "atd/src/parser.ml", line 157, characters 2-546:
# 157 | ..fun _menhir_env _menhir_stack ->
# 158 | let (_menhir_env : _menhir_env) = _menhir_env in
# 159 | let (_menhir_stack : ('freshtv431 * _menhir_state * Lexing.position) * _menhir_state * 'tv_variant_list) = Obj.magic _menhir_stack in
# 160 | let (_endpos : Lexing.position) = _menhir_env._menhir_lexbuf.Lexing.lex_curr_p in
# 161 | let (_startpos : Lexing.position) = _menhir_env._menhir_lexbuf.Lexing.lex_start_p in
# 162 | let _menhir_env = _menhir_discard _menhir_env in
# 163 | (_menhir_reduce49 _menhir_env (Obj.magic _menhir_stack) _endpos _startpos : 'freshtv432)
# Error: This definition has type
# 'ttv_tail.
# _menhir_env ->
# ('ttv_tail * _menhir_state * Lexing.position) * _menhir_state *
# 'tv_variant_list -> 'freshtv432
# which is less general than
# 'ttv_tail 'ttv_return.
# _menhir_env ->
# ('ttv_tail * _menhir_state * Lexing.position) * _menhir_state *
# 'tv_variant_list -> 'ttv_return
# ocamlopt atd/src/.atd.objs/native/atd__Parser.{cmx,o} (exit 2)
# (cd _build/default && /home/opam/.opam/4.08/bin/ocamlopt.opt -w -40 -w -27 -safe-string -g -I atd/src/.atd.objs/byte -I atd/src/.atd.objs/native -I /home/opam/.opam/4.08/lib/easy-format -I /home/opam/.opam/4.08/lib/re -I /home/opam/.opam/4.08/lib/seq -intf-suffix .ml -no-alias-deps -open Atd -o atd/src/.atd.objs/native/atd__Parser.cmx -c -impl atd/src/parser.ml)
# File "atd/src/parser.ml", line 157, characters 2-546:
# 157 | ..fun _menhir_env _menhir_stack ->
# 158 | let (_menhir_env : _menhir_env) = _menhir_env in
# 159 | let (_menhir_stack : ('freshtv431 * _menhir_state * Lexing.position) * _menhir_state * 'tv_variant_list) = Obj.magic _menhir_stack in
# 160 | let (_endpos : Lexing.position) = _menhir_env._menhir_lexbuf.Lexing.lex_curr_p in
# 161 | let (_startpos : Lexing.position) = _menhir_env._menhir_lexbuf.Lexing.lex_start_p in
# 162 | let _menhir_env = _menhir_discard _menhir_env in
# 163 | (_menhir_reduce49 _menhir_env (Obj.magic _menhir_stack) _endpos _startpos : 'freshtv432)
# Error: This definition has type
# 'ttv_tail.
# _menhir_env ->
# ('ttv_tail * _menhir_state * Lexing.position) * _menhir_state *
# 'tv_variant_list -> 'freshtv432
# which is less general than
# 'ttv_tail 'ttv_return.
# _menhir_env ->
# ('ttv_tail * _menhir_state * Lexing.position) * _menhir_state *
# 'tv_variant_list -> 'ttv_return