diff options
author | mihaylov <mihaylov@epfl.ch> | 2005-08-03 08:19:13 +0000 |
---|---|---|
committer | mihaylov <mihaylov@epfl.ch> | 2005-08-03 08:19:13 +0000 |
commit | db7efc544c36b1a37e058f86b3cbf7e7248a8c88 (patch) | |
tree | 56b6dfa473ad24462e32b0df47269ec4d30f7f36 /doc | |
parent | b09ad43fbfd6983077e55689226db77cedcb24f2 (diff) | |
download | scala-db7efc544c36b1a37e058f86b3cbf7e7248a8c88.tar.gz scala-db7efc544c36b1a37e058f86b3cbf7e7248a8c88.tar.bz2 scala-db7efc544c36b1a37e058f86b3cbf7e7248a8c88.zip |
Removed redundant paragraph
Diffstat (limited to 'doc')
-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 |