From b2e7594c9d397d5fc91c651bb89f3f327ceb878b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 4 Aug 2008 13:09:18 +0000 Subject: [PATCH] removed domain specifications from reduction-relations svn: r11062 --- collects/redex/private/reduction-semantics.ss | 2 ++ collects/redex/redex.scrbl | 6 ++---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss index a15b483871..36bd04e02e 100644 --- a/collects/redex/private/reduction-semantics.ss +++ b/collects/redex/private/reduction-semantics.ss @@ -192,6 +192,8 @@ (identifier? #'lang) (let-values ([(args domain-pattern) (syntax-case #'(w/domain-args ...) () + ;; commented out this case to diable domain specifications + #; [(#:domain pat args ...) (values (syntax (args ...)) #'pat)] [else diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index 7d3cd917e3..321693facb 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -486,10 +486,8 @@ is signaled. If no patterns match, an error is signaled. } @defform/subs[#:literals (--> fresh side-condition where) - (reduction-relation language domain reduction-case ...) - ((domain (code:line) - (code:line #:domain pattern)) - (reduction-case (--> pattern exp extras ...)) + (reduction-relation language reduction-case ...) + ((reduction-case (--> pattern exp extras ...)) (extras name (fresh ...) (side-condition ...)