diff options
Diffstat (limited to 'docs/SyntaxSummary.txt')
| -rw-r--r-- | docs/SyntaxSummary.txt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/SyntaxSummary.txt b/docs/SyntaxSummary.txt index 52e880a34..764275f92 100644 --- a/docs/SyntaxSummary.txt +++ b/docs/SyntaxSummary.txt @@ -75,11 +75,12 @@ grammar. {\small \begin{lstlisting} - Literal ::= [`-'] integerLiteral + SimpleLiteral ::= [`-'] integerLiteral | [`-'] floatingPointLiteral | booleanLiteral | characterLiteral | stringLiteral + Literal ::= SimpleLiteral | processedStringLiteral | symbolLiteral | `null' @@ -108,7 +109,7 @@ grammar. | Path `.' `type' SingletonTypeTree(p) | `(' ArgTypes ')' Tuple(ts) | Refinement RefinedTypeTree(EmptyTree, refinement) - | Literal SingletonTypeTree(l) + | SimpleLiteral SingletonTypeTree(l) ArgType ::= Type | `_' TypeBounds ArgTypes ::= ArgType {`,' ArgType} |