diff options
author | buraq <buraq@epfl.ch> | 2003-12-01 10:50:36 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2003-12-01 10:50:36 +0000 |
commit | 345c562684289e929213bcbe4712aab53f062925 (patch) | |
tree | 568fecf3ac021d2a4be97da0578c8d25b3f5ec4d | |
parent | ed0a728933064567fc9db1712b78a2fe2a5db073 (diff) | |
download | scala-345c562684289e929213bcbe4712aab53f062925.tar.gz scala-345c562684289e929213bcbe4712aab53f062925.tar.bz2 scala-345c562684289e929213bcbe4712aab53f062925.zip |
handling operators *|+@? in patterns
-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 |