From c5c6c1c9e6f3d61a5041b164d780a1e30f284749 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 20 Oct 2010 12:34:14 -0500 Subject: [PATCH] explained #:domain --- collects/redex/redex.scrbl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index 3d73dcec17..5dfa6daf51 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -696,7 +696,9 @@ Defines a reduction relation casewise, one case for each of the clauses beginning with @racket[-->] (or with @racket[arrow], if specified). Each of the @racket[pattern]s refers to the @racket[language], and binds variables in the -@|tttterm|. +@|tttterm|. If present, the pattern following the @racket[#:domain] +keyword specifies what terms the reduction relation operates on and +is checked when the relation is used. Following the @|pattern| and @|tterm| can be the name of the reduction rule, declarations of some fresh variables, and/or