diff options
Diffstat (limited to 'docs/SyntaxSummary.txt')
| -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) |