diff options
Diffstat (limited to 'doc/grammar.tex')
| -rw-r--r-- | doc/grammar.tex | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/grammar.tex b/doc/grammar.tex index 59026bd..65ec537 100644 --- a/doc/grammar.tex +++ b/doc/grammar.tex @@ -5,9 +5,13 @@ \setlength{\grammarparsep}{4pt} \setlength{\grammarindent}{10em} \begin{grammar} - <Fuspel> ::= <Rewrite-list> + <Fuspel> ::= <Statement-list> - <Rewrite-list> ::= <Rewrite> `;' <Rewrite-list> | <empty> + <Statement-list> ::= <Rerwite> `;' <Rewrite-list> + \alt <Comment> <Statement-list> + \alt <empty> + + <Comment> ::= `//' \dots `\textbackslash n' <Rewrite> ::= <Name> <Arg-list> `=' <Rhs> |