Search results

Add <code>.messages</code> support for Menhir

menhirRelated to the internal menhir pluginRelated to the internal menhir plugin

Status: Open (in progress).

ocaml/dunenumber 11753

#11753 In ocaml/dune;

· nojb opened on May 4, 2025

Sibling modules are unbound in qualified Menhir parsers

include-subdirs-qualified

menhirRelated to the internal menhir pluginRelated to the internal menhir plugin

Status: Open.

#11119 In ocaml/dune;

· brendanzab opened on Nov 13, 2024

Dune + Coq + Menhir

coq

menhirRelated to the internal menhir pluginRelated to the internal menhir plugin

Status: Open.

#10941 In ocaml/dune;

· liyishuai opened on Sep 20, 2024

Add correct lower bound to menhir

bug

menhirRelated to the internal menhir pluginRelated to the internal menhir plugin

Status: Open.

#10707 In ocaml/dune;

· mseri opened on Jul 9, 2024

Support for menhir flags "--dump" and "--dump-resolved"

menhirRelated to the internal menhir pluginRelated to the internal menhir plugin

Status: Open.

#10626 In ocaml/dune;

· MSoegtropIMC opened on Jun 7, 2024

Dune crashes when menhir_flags is in dune-workspace

bug

menhirRelated to the internal menhir pluginRelated to the internal menhir plugin

Status: Open.

#9024 In ocaml/dune;

· Tchou opened on Oct 27, 2023

Menhir parsers as module group interfaces

bug

include-subdirs-qualified

menhirRelated to the internal menhir pluginRelated to the internal menhir plugin

Status: Open.

#8989 In ocaml/dune;

· rgrinberg opened on Oct 23, 2023

menhir stanza doesn't work with <code>include_subdirs unqualified</code>

bug

menhirRelated to the internal menhir pluginRelated to the internal menhir plugin

Status: Open.

#4381 In ocaml/dune;

· toots opened on Mar 22, 2021

Support for menhir's <code>.messages</code> files

enhancement

good first issueGood for contributing for the first time to the Dune codebaseGood for contributing for the first time to the Dune codebase

menhirRelated to the internal menhir pluginRelated to the internal menhir plugin

Status: Open.

#3284 In ocaml/dune;

· Gbury opened on Mar 20, 2020