diff options
Diffstat (limited to 'doc/grammar.tex')
| -rw-r--r-- | doc/grammar.tex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/grammar.tex b/doc/grammar.tex index 00e24b8..111cfc8 100644 --- a/doc/grammar.tex +++ b/doc/grammar.tex @@ -24,8 +24,11 @@ \alt <Simple-list> \alt <Simple-tuple> - <Simple-list> ::= `[' <Simple-expr> `:' <Simple-list> `]' + <Simple-list> ::= `[' <Simple-expr-list> `:' <Simple-list> `]' + \alt `[' <Simple-expr-list> `]' \alt `[]' + + <Simple-expr-list> ::= <Simple-expr> `,' <Simple-expr-list> | <Simple-expr> <Simple-tuple> ::= `(' <Simple-expr> `,' <Simple-expr> `)' |