diff options
Diffstat (limited to 'doc/reference')
-rw-r--r-- | doc/reference/ReferencePart.tex | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/reference/ReferencePart.tex b/doc/reference/ReferencePart.tex index 266693d6be..3ec303df14 100644 --- a/doc/reference/ReferencePart.tex +++ b/doc/reference/ReferencePart.tex @@ -3565,12 +3565,6 @@ For clarity, this section deals with a subset of the Scala pattern language. The extended Scala pattern language, which is described below, adds more flexible variable binding and regular hedge expressions. -A pattern is built from constants, constructors, and -variables. Pattern matching tests whether a given value has the shape -defined by a pattern, and, if it does, binds the variables in the -pattern to the corresponding components of the value. The same -variable name may not be bound more than once in a pattern. - A pattern is built from constants, constructors, variables and regular operators. Pattern matching tests whether a given value (or sequence of values) has the shape defined by a pattern, and, if it does, binds |