typo in section 3.17.2, rule 8, for pattern-matching n+k
authorMalcolm Wallace <Malcolm.Wallace@cs.york.ac.uk>
Mon, 17 Mar 2008 10:45:08 +0000 (10:45 +0000)
committerMalcolm Wallace <Malcolm.Wallace@cs.york.ac.uk>
Mon, 17 Mar 2008 10:45:08 +0000 (10:45 +0000)
report/exps.verb

index c26fc2b..0d4af91 100644 (file)
@@ -1358,8 +1358,8 @@ to convert it to the appropriate type.
 \item Matching an "n@+@k" pattern (where "n" is a variable and "k" is a 
 positive integer literal) against a value "v" 
 \index{n+k pattern@@"n@+@k" pattern}
-succeeds if "x ~@>=@ ~k", resulting in the binding 
-of "n" to "x~@-@~k",
+succeeds if "v ~@>=@ ~k", resulting in the binding 
+of "n" to "v~@-@~k",
 and fails otherwise.  Again, the functions @>=@ and @-@ are 
 overloaded, depending on the type of the pattern.
 The match diverges if the comparison diverges.