emilienlemaire / tree-sitter-menhir

Menhir grammar for tree-sitter

tree-sitter-menhir

Menhir grammar for tree-sitter

Add to neovim

Install with your favorite plugin manager and copy this code in your tree-sitter config file:

local parser_configs = require('nvim-treesitter.parsers').get_parser_configs()

parser_configs.menhir = {
  install_info = {
    url = "https://github.com/emilienlemaire/tree-sitter-menhir",
    files = { "src/parser.c", "src/scanner.cc" },
  },
  filetype = "menhir",
}

Then run :TSInstall menhir.

References

• Menhir manual
• Menhir parser and lexer