From f8c181c66dc87421285ea6726e0d48dded7c1e29 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Sun, 5 Dec 2010 08:03:49 -0600 Subject: [PATCH] Closes PR 11475 --- collects/redex/redex.scrbl | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index c49da45c59..20fbc4bbaf 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -741,20 +741,20 @@ a sequence of variables. The variable @racket[var2] is used to determine the number of variables generated and @racket[var2] must be bound by the left-hand side of the rule. -All side-conditions provided with @racket[side-condition] and -@racket[hidden-side-condition] are collected with @racket[and] and +The expressions within @as-index{@racket[side-condition] clause}s +and @as-index{@racket[side-condition/hidden] clause}s are collected with @racket[and] and used as guards on the case being matched. The argument to each side-condition should be a Racket expression, and the pattern variables in the @|ttpattern| are bound in that expression. A -@racket[side-condition/hidden] form is the same as -@racket[side-condition], except that the side condition is not +@racket[side-condition/hidden] clause is the same as +a @racket[side-condition] clause, except that the condition is not rendered when typesetting via @racketmodname[redex/pict]. -Each @racket[where] clause acts as a side condition requiring a +Each @as-index{@racket[where] clause} acts as a side condition requiring a successful pattern match, and it can bind pattern variables in the side-conditions (and @racket[where] clauses) that follow and in the metafunction result. The bindings are the same as bindings in a -@racket[term-let] expression. A @racket[where/hidden] clause is the +@racket[term-let] expression. A @as-index{@racket[where/hidden] clause} is the same as a @racket[where] clause, but the clause is not rendered when typesetting via @racketmodname[redex/pict].