diff options
author | Clemens Winter <clemenswinter1@gmail.com> | 2016-07-22 13:43:02 +0200 |
---|---|---|
committer | Clemens Winter <clemenswinter1@gmail.com> | 2016-08-01 10:41:52 +0200 |
commit | 6c386039fa5df125492bfdcffdc06cf90fb134f1 (patch) | |
tree | 8df7150f911dee3803d250b4c5bd989f8288b8c7 /docs | |
parent | a0ad3f1d020cc3f3f37bc887874517ace670bf52 (diff) | |
download | dotty-6c386039fa5df125492bfdcffdc06cf90fb134f1.tar.gz dotty-6c386039fa5df125492bfdcffdc06cf90fb134f1.tar.bz2 dotty-6c386039fa5df125492bfdcffdc06cf90fb134f1.zip |
Fix #1396: Modify parser to allow wildcard types everywhere
Diffstat (limited to 'docs')
-rw-r--r-- | docs/SyntaxSummary.txt | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/SyntaxSummary.txt b/docs/SyntaxSummary.txt index 6751c90e2..f07335d1d 100644 --- a/docs/SyntaxSummary.txt +++ b/docs/SyntaxSummary.txt @@ -109,17 +109,17 @@ grammar. | StableId | Path `.' `type' SingletonTypeTree(p) | `(' ArgTypes ')' Tuple(ts) + | `_' TypeBounds | Refinement RefinedTypeTree(EmptyTree, refinement) | SimpleLiteral SingletonTypeTree(l) - ArgType ::= Type - | `_' TypeBounds - ArgTypes ::= ArgType {`,' ArgType} - FunArgType ::= ArgType - | `=>' ArgType PrefixOp(=>, t) + ArgTypes ::= Type {`,' Type} + | NamedTypeArg {`,' NamedTypeArg } + FunArgType ::= Type + | `=>' Type PrefixOp(=>, t) ParamType ::= [`=>'] ParamValueType ParamValueType ::= Type [`*'] PostfixOp(t, "*") TypeArgs ::= `[' ArgTypes `]' ts - NamedTypeArg ::= id `=' ArgType NamedArg(id, t) + NamedTypeArg ::= id `=' Type NamedArg(id, t) NamedTypeArgs ::= `[' NamedTypeArg {`,' NamedTypeArg} `]' nts Refinement ::= `{' [Dcl] {semi [Dcl]} `}' ds TypeBounds ::= [`>:' Type] [`<: Type] | INT TypeBoundsTree(lo, hi) |