diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/reference/ScalaReference.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/reference/ScalaReference.tex b/doc/reference/ScalaReference.tex index a01a5daf83..3be6c66636 100644 --- a/doc/reference/ScalaReference.tex +++ b/doc/reference/ScalaReference.tex @@ -3366,13 +3366,14 @@ written. | Pattern2 Pattern2 ::= [varid `@'] Pattern3 Pattern3 ::= SimplePattern [ '*' | '?' | '+' ] - | SimplePattern { id SimplePattern } + | SimplePattern { id' SimplePattern } SimplePattern ::= `_' | varid | Literal | StableId [ `(' [Patterns] `)' ] | `(' [Patterns] `)' Patterns ::= Pattern {`,' Pattern} + id' ::= id $\textit{ but not }$ '*' | '?' | '+' | `@' | `|' \end{lstlisting} A pattern is built from constants, constructors, variables and regular |