Installing Cooltt in NixOS

[guilhermehas]

When I try to install it using opam 2.1.2 , ocaml 4.13.0 and dune 2.9.3 . After running the previous command of readme.md and running opam pin add -y cooltt . . I got this error:

The following actions will be performed:
  ∗ install cooltt 0.0*

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ERROR] The compilation of cooltt.0.0 failed at "dune build -p cooltt -j 7".

#=== ERROR while compiling cooltt.0.0 =========================================#
# context     2.1.2 | linux/x86_64 | ocaml-base-compiler.4.13.0 | pinned(git+file:///home/guilherme/testing/cooltt#main)
# path        ~/.opam/4.13.0/.opam-switch/build/cooltt.0.0
# command     ~/.opam/opam-init/hooks/sandbox.sh build dune build -p cooltt -j 7
# exit-code   1
# env-file    ~/.opam/log/cooltt-45262-b8a35b.env
# output-file ~/.opam/log/cooltt-45262-b8a35b.out
### output ###
#       menhir src/frontend/Grammar.{ml,mli} (exit 2)
# (cd _build/default && /home/guilherme/.opam/4.13.0/bin/menhir --strict --explain --interpret-show-cst --table src/frontend/Grammar.mly --base src/frontend/Grammar)
# Fatal error: exception File "src/back.ml", line 39, characters 6-12: Assertion failed

When I run after dune build -p cooltt -j 7, I got this error:

(cd _build/default && /home/guilherme/.opam/4.13.0/bin/menhir --strict --explain --interpret-show-cst --table src/frontend/Grammar.mly --base src/frontend/Grammar)
Fatal error: exception File "src/back.ml", line 39, characters 6-12: Assertion failed

How do I fix it?

[TOTBWF]

After digging into this a bit, this appears to be coming from this line in menhir. Looking at the git history, this appears to be a quite new codepath, and was added ~2 weeks ago. I would recommend bringing this up with the menhir devs, and, in the meantime, trying to use an older version of menhir.

[TOTBWF]

As this hasn't had any action on it for a while, I'm just going to assume that the Menhir fix solved the problem!