Skip to content

Commit

Permalink
Added menhir parser readme
Browse files Browse the repository at this point in the history
  • Loading branch information
green726 committed Oct 14, 2024
1 parent dc51508 commit f2e14fe
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions src/haz3lmenhir/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
# Hazel Menhir Parser
> This directory contains a Menhir parser for textual Hazel `Exp` syntax and a utility to convert the Menhir AST to post-elaboration `Exp`. This is used for Hazel elaborator unit tests
* The Menhir parser is located in the `Parser.mly` file
* The ocamllex lexer can be found in `Lexer.mll`
* `Interface.re` contains functions to interface with the parser and parse text into an `AST` structure
* The parser's AST is defined in `AST.re`
* `Conversion.re` contains utility functions to convert the `AST` structure into the Hazel post-elaboration `Exp` structure
* Examples of the textual syntax can be found in the `Exp` module of the `TermBase.re` file

0 comments on commit f2e14fe

Please sign in to comment.