From 206553c8166f45b45e8c8b1373d28243e1cf750b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 4 Jan 2009 18:10:32 +0000 Subject: [PATCH] added clarification to the docs about caching svn: r13003 --- collects/redex/redex.scrbl | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index 360da14277..4dc2dc7d97 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -79,8 +79,12 @@ All of the exports in this section are provided both by all non-GUI portions of Redex) and also exported by @schememodname[redex] (which includes all of Redex). -This section covers Redex's @deftech{pattern} language, used -in various ways: +This section covers Redex's @deftech{pattern} language, used in many +of Redex's forms. + +Note that pattern matching is caching (including caching the results +of side-conditions). This means that once a pattern has matched a +given term, Redex assumes that it will always match that term. @(schemegrammar* #:literals (any number string variable variable-except variable-prefix variable-not-otherwise-mentioned hole name in-hole side-condition cross) [pattern any