diff options
-rw-r--r-- | doc/reference/ScalaReference.tex | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/doc/reference/ScalaReference.tex b/doc/reference/ScalaReference.tex index caec1424e7..25f14455c8 100644 --- a/doc/reference/ScalaReference.tex +++ b/doc/reference/ScalaReference.tex @@ -4208,14 +4208,13 @@ grammar. Pattern1 ::= varid `:' Type | `_' `:' Type | Pattern2 - Pattern2 ::= SimplePattern [ '*' | '?' | '+' ] + Pattern2 ::= [varid `@'] Pattern3 + Pattern3 ::= SimplePattern [ '*' | '?' | '+' ] | SimplePattern { id SimplePattern } - SimplePattern ::= varid [ '@' SimplePattern ] - | `_' + SimplePattern ::= `_' | literal | StableId [ `(' [Patterns] `)' ] - | `(' Patterns `)' - | + | `(' [Patterns] `)' Patterns ::= Pattern {`,' Pattern} TypeParamClause ::= `[' TypeParam {`,' TypeParam} `]' |