Revert "COMPILER: rm menhir warning"
This does not compile with OCaml 4.00.1 (no type-based selection of label).

This reverts commit 7a43ef1c46ee014b9a15958d992b8ab23a1d5999.