diff options
author | Martin Odersky <odersky@gmail.com> | 2015-08-24 13:12:02 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-08-24 13:12:02 +0200 |
commit | 739f8ea2c3b39f81f54bfea4b618770d7aa1a1c6 (patch) | |
tree | 926b1416edd0be6ffbbb14260259f6d1fe9fe1a9 /docs/SyntaxSummary.txt | |
parent | e850a99f16004a702b5fa63736ac215fc388051b (diff) | |
download | dotty-739f8ea2c3b39f81f54bfea4b618770d7aa1a1c6.tar.gz dotty-739f8ea2c3b39f81f54bfea4b618770d7aa1a1c6.tar.bz2 dotty-739f8ea2c3b39f81f54bfea4b618770d7aa1a1c6.zip |
Make it a syntactic criterion whether a literal is a legal type
Introduce a new non-terminal "SimpleLiteral". Only SimpleLiterals can be
types.
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} |