package menhir

  1. Overview
  2. Docs
An LR(1) parser generator

Install

Dune Dependency

gitlab.inria.fr Readme Edit opam file Versions (61)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>
  2. Y
    Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=783961f8d124449a1a335cc8e50f013f
sha512=bacc5161682130d894a6476fb79363aa73e5582543265a0c23c9a1f9d974007c04853dc8f6faa2b8bd2e82b2323b8604dcc4cb74308af667698079b394dfd492

Description

Published: 27 Jun 2019

README

README.md

This tool, menhir-generate-printers, reads a .cmly file and produces code for three functions, namely print_symbol, print_value, and print_token.

val print_symbol: MenhirInterpreter.xsymbol -> string

By default, print_symbol prints the internal name of a (terminal or nonterminal) symbol. This can however be changed by attaching a [@name] attribute with this symbol. The attribute payload should be an OCaml expression of type string.

val print_value: 'a MenhirInterpreter.symbol -> 'a -> string
val print_token: token -> string

By default, print_value and print_token ignore the semantic value and print just the name of the symbol, like print_symbol. This can however be changed by attaching a [@printer] attribute with this symbol. The attribute payload should be an OCaml expression of type _ -> string, where _ stands for an appropriate type of semantic values.

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind build
  3. ocaml >= "4.02" & < "5.0"

Dev Dependencies

None

  1. absolute >= "0.2"
  2. acgtk >= "1.5.0" & < "2.0.0"
  3. aifad >= "2.3.0"
  4. alba < "0.4.3"
  5. alt-ergo >= "2.0.0" & < "2.3.0" | >= "2.4.0"
  6. alt-ergo-free < "2.3.3"
  7. alt-ergo-parsers
  8. alt-ergo-parsers-free
  9. anders < "0.7.1"
  10. archetype
  11. arrakis
  12. asli
  13. atd
  14. bamboo < "0.0.02"
  15. batsh < "0.0.5"
  16. binsec
  17. bnfgen < "3.1.0"
  18. caper
  19. caradoc
  20. cca < "0.6.2"
  21. ccss
  22. cfg < "2.1.0" | >= "2.3.0"
  23. charrua-core
  24. charrua-server
  25. coccinelle >= "1.0.8"
  26. codept >= "0.10.3"
  27. coin < "0.1.4"
  28. combine >= "0.42"
  29. DrawGrammar
  30. dedukti
  31. dkml-dune-dsl-show
  32. doc-ock-xml
  33. dolmen < "0.6"
  34. drom_toml
  35. edn
  36. electrod
  37. electrumAnalyzer
  38. embedded_ocaml_templates < "0.8"
  39. encoding < "0.0.2"
  40. erlang
  41. FrontC >= "4.0.0"
  42. forester != "2.1" & < "3.0.0"
  43. frama-c >= "27.0~beta"
  44. fstar >= "0.9.5.0"
  45. gadelac
  46. gdb
  47. gdbprofiler
  48. genet != "0.2"
  49. gobba
  50. gospel
  51. graphql_parser >= "0.9.0"
  52. gufo
  53. heptagon >= "1.01.00"
  54. herdtools7 >= "7.55" & < "7.56.3"
  55. imaplet-lwt
  56. inferno >= "20220603"
  57. jasmin
  58. jingoo >= "1.3.1"
  59. js_of_ocaml >= "1.4.0" & < "3.0"
  60. js_of_ocaml-compiler >= "3.7.0"
  61. js_of_ocaml-webgpu < "0.2"
  62. js_of_ocaml-webidl
  63. karamel
  64. kdl
  65. kind2
  66. kremlin < "transition"
  67. labrys
  68. lambdapi < "2.0.0"
  69. lambdoc
  70. libabsolute
  71. libsail
  72. libzipperposition
  73. lilis
  74. links >= "0.9" & < "0.9.4"
  75. liquidsoap >= "1.4.0" & < "2.2.0"
  76. liquidsoap-lang
  77. logtk >= "1.5.1"
  78. lp
  79. lsp < "1.8.0" | >= "1.11.3" & < "1.12.1"
  80. mc2
  81. merlin < "2.0.0" | >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
  82. merlin-lib < "4.8~5.1preview"
  83. mezzo
  84. minicaml
  85. minimal
  86. modelica_ml
  87. morbig < "0.11.0"
  88. msat = "0.8"
  89. mustache >= "3.0.0"
  90. netkat
  91. nice_parser
  92. obelisk
  93. obrowser
  94. obus >= "1.2.0"
  95. ocaml-lsp-server < "1.2.0"
  96. ocaml-r < "0.1.0"
  97. ocamlformat >= "0.14.0" & < "0.19.0~4.13preview"
  98. ocamlformat-rpc < "0.19.0"
  99. odate < "0.7"
  100. odds
  101. ollvm
  102. ollvm-tapir
  103. ometrics < "0.2.0"
  104. openQASM
  105. otoml
  106. ott >= "0.32"
  107. p4pp != "0.1.8"
  108. petr4
  109. pfff >= "0.40.4"
  110. phylogenetics
  111. ppx_pbt < "0.2.1"
  112. profound
  113. psmt2-frontend
  114. rdf >= "0.6.0" & < "0.12.0"
  115. reason >= "3.3.5"
  116. relit-reason
  117. rfsm
  118. runtime_events_tools >= "0.5.0"
  119. sail < "0.15"
  120. satex
  121. satyrographos >= "0.0.2.8"
  122. sgf
  123. shapefile
  124. sibylfs
  125. sifun
  126. smbc < "0.4.2"
  127. smtlib-utils
  128. sociaml-vcard
  129. solidity-parser
  130. sqlgg
  131. squirrel
  132. stog-writing
  133. swhid < "0.2"
  134. systemverilog
  135. talaria-bibtex
  136. tip-parser
  137. toml
  138. touist
  139. tptp >= "0.3.1"
  140. uuuu < "0.3.0"
  141. wcs-lib >= "2017-05-26.02"
  142. webidl != "1.2"
  143. why3 >= "1.0.0"
  144. why3-base >= "0.86.3"
  145. wikitext
  146. zanuda
  147. zelus
  148. zephyrus
  149. zipperposition >= "1.1"

Conflicts

None