diff options
author | odersky <odersky@gmail.com> | 2016-11-21 19:00:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-21 19:00:19 +0100 |
commit | 5b409515613173970d44a21978b04432cd01b73d (patch) | |
tree | 580409cc8e02bc2cfba3d5b94f62daa492ff2e49 /docs | |
parent | 601a286b1c1eb7f0bbea64609a7d07ed40f02118 (diff) | |
parent | a2b1e601142e66255c252bf0584d2fc5ceb46b07 (diff) | |
download | dotty-5b409515613173970d44a21978b04432cd01b73d.tar.gz dotty-5b409515613173970d44a21978b04432cd01b73d.tar.bz2 dotty-5b409515613173970d44a21978b04432cd01b73d.zip |
Merge pull request #1634 from dotty-staging/change-tasty-pos-ctd
Towards correct positions in TASTY types
Diffstat (limited to 'docs')
-rw-r--r-- | docs/syntax-summary.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/syntax-summary.txt b/docs/syntax-summary.txt index 0a52ec802..04e149de6 100644 --- a/docs/syntax-summary.txt +++ b/docs/syntax-summary.txt @@ -160,7 +160,7 @@ grammar. SimpleExpr1 ::= Literal | Path | `_' - | `(' ExprsInParens `)' Parens(exprs) + | `(' ExprsInParens2 `)' Parens(exprs) | SimpleExpr `.' id Select(expr, id) | SimpleExpr (TypeArgs | NamedTypeArgs) TypeApply(expr, args) | SimpleExpr1 ArgumentExprs Apply(expr, args) @@ -210,7 +210,7 @@ grammar. | SimplePattern1 `.' id PatVar ::= varid | `_' - Patterns ::= Pattern [`,' Pattern] + Patterns ::= Pattern {`,' Pattern} ArgumentPatterns ::= `(' [Patterns] `)' Apply(fn, pats) | `(' [Patterns `,'] Pattern2 `:' `_' `*' ') |