Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@emcardoso
emcardoso authored Oct 2, 2024
1 parent 8f54bc9 commit 522803f
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,9 +26,9 @@ to ease the task of use/debug the tool.

* `#lang typed-peg`: default language, provides a parse and pretty printing function for the
specified PEG, after infering types for the input PEG.
* `#lang typed-peg/untyped`: disable the type-inference engine. Use at your own risk!
* `#lang typed-peg/debug/tokenize-only`: outputs the result of the lexical analyser.
* `#lang typed-peg/debug/parse-only`: outputs the result of the parser.
* `#lang typed-peg/debug/constraints-only`: outputs the constraints generated by the algorithm.
* `#lang typed-peg/debug/z3-script-only`: outputs the z3 script that encode the constraints.
* `#lang typed-peg/debug/infer-only`: outputs the infered types for each grammar non-terminal.
* `#lang typed-peg-stack/untyped`: disable the type-inference engine. Use at your own risk!
* `#lang typed-peg-stack/debug/tokenize-only`: outputs the result of the lexical analyser.
* `#lang typed-peg-stack/debug/parse-only`: outputs the result of the parser.
* `#lang typed-peg-stack/debug/constraints-only`: outputs the constraints generated by the algorithm.
* `#lang typed-peg-stack/debug/z3-script-only`: outputs the z3 script that encode the constraints.
* `#lang typed-peg-stack/debug/infer-only`: outputs the infered types for each grammar non-terminal.

0 comments on commit 522803f

Please sign in to comment.