diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-01-09 14:39:44 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-02-19 14:00:00 +0100 |
| commit | 5a8e87004f563feafbaf16e78bd0d6be26ee6e1c (patch) | |
| tree | e81bb81e43922a24859aaab31986d5f256059788 /docs | |
| parent | 91ccb52bda344d74ba7a3e9859346e57051d2aff (diff) | |
| download | dotty-5a8e87004f563feafbaf16e78bd0d6be26ee6e1c.tar.gz dotty-5a8e87004f563feafbaf16e78bd0d6be26ee6e1c.tar.bz2 dotty-5a8e87004f563feafbaf16e78bd0d6be26ee6e1c.zip | |
First version of named type arguments
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/SyntaxSummary.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/SyntaxSummary.txt b/docs/SyntaxSummary.txt index 11f23da94..78f59e6d1 100644 --- a/docs/SyntaxSummary.txt +++ b/docs/SyntaxSummary.txt @@ -103,7 +103,7 @@ grammar. RefinedType ::= WithType {[nl] Refinement} RefinedTypeTree(t, ds) WithType ::= AnnotType {`with' AnnotType} (deprecated) AnnotType ::= SimpleType {Annotation} Annotated(t, annot) - SimpleType ::= SimpleType TypeArgs AppliedTypeTree(t, args) + SimpleType ::= SimpleType (TypeArgs | NamedTypeArgs) AppliedTypeTree(t, args) | SimpleType `#' id SelectFromTypeTree(t, name) | StableId | Path `.' `type' SingletonTypeTree(p) @@ -118,6 +118,8 @@ grammar. ParamType ::= [`=>'] ParamValueType ParamValueType ::= Type [`*'] PostfixOp(t, "*") TypeArgs ::= `[' ArgTypes `]' ts + NamedTypeArg ::= id `=' ArgType NamedArg(id, t) + NamedTypeArgs ::= `[' NamedTypeArg {`,' NamedTypeArg} `]' nts Refinement ::= `{' [Dcl] {semi [Dcl]} `}' ds TypeBounds ::= [`>:' Type] [`<: Type] | INT TypeBoundsTree(lo, hi) TypeParamBounds ::= TypeBounds {`<%' Type} {`:' Type} ContextBounds(typeBounds, tps) |