From db7efc544c36b1a37e058f86b3cbf7e7248a8c88 Mon Sep 17 00:00:00 2001 From: mihaylov Date: Wed, 3 Aug 2005 08:19:13 +0000 Subject: Removed redundant paragraph --- doc/reference/ReferencePart.tex | 6 ------ 1 file changed, 6 deletions(-) (limited to 'doc') 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 -- cgit v1.2.3