# Menhir generating empty conflicts file?

**URL:** <https://discuss.ocaml.org/t/menhir-generating-empty-conflicts-file/14882>\
**Category:** Ecosystem\
**Tags:** menhir\
**Created:** [June 29, 2024, 7:00pm UTC](https://discuss.ocaml.org/t/menhir-generating-empty-conflicts-file/14882 "2024-06-29T19:00:17Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Chet\_Murthy](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/chet_murthy/32/1501_2.png) [@Chet\_Murthy](https://discuss.ocaml.org/u/Chet_Murthy)\
**Post date:** [June 29, 2024, 7:00pm UTC](https://discuss.ocaml.org/t/menhir-generating-empty-conflicts-file/14882/1 "2024-06-29T19:00:17Z")

</div>

in the past, I’ve used menhir’s `.conflicts` file to debug my grammars with excellent effect. Yesterday I was working with a grammar, and have 8 “productions are never reduced” conflicts, and the `.conflicts` file is empty. I invoke menhir thus:

```auto
$ menhir --table --explain parser.mly

```

and file file `parser.conflicts` is empty:

```auto
-rw-r--r-- 1 chet chet 0 Jun 29 11:44 parser.conflicts

```

If it’s relevant, this is a grammar I get by taking the official OCaml grammar and adding a whole bunch of antiquotations. I’ve done this successfully for OCaml grammar versions 4.10-5.1 (every major version) without problems. Also, in case it’s relevant, I do generate types for all the nonterminals (using the “mock” method) and that process produces an empty .conflicts file too.

Any advice appreciated.

ETA: Oh, hm. It looks like menhir only generates .conflicts file contents for shift/reduce conflicts? Not for “never reduced” warnings ?