mirror of
https://github.com/comby-tools/comby.git
synced 2024-10-26 13:19:23 +03:00
.. | ||
ast.ml | ||
dune | ||
evaluate.ml | ||
options.ml | ||
options.mli | ||
parser.ml | ||
README.md | ||
rule.ml | ||
rule.mli | ||
script.ml | ||
syntax.ml | ||
types.ml |
Rule language grammar
grammar ::= "where" sequence
sequence ::= expression ("," expression)*
expression ::=
| bool
| atom "==" atom
| atom "!=" atom
| "rewrite" atom "{" qstring "->" atom "}"
| "match" atom "{" ("|" branch )+ "}"
bool ::= "true" | "false"
atom ::= hole | qstring
qstring ::= '"' quoted-string '"'
hole ::= ":[" hole-identifier "]"
branch ::= qstring "->" sequence
See the page for hole-identifier
syntax if it matters.