From 9a4b2d2023b53f0464ab848d57962144254f7a79 Mon Sep 17 00:00:00 2001 From: Steven Jaconette Date: Mon, 4 Oct 2010 11:24:36 -0500 Subject: [PATCH] fixed a bug uncovered by a stronger syntactic check in redex --- collects/redex/private/compiler/match.rkt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/collects/redex/private/compiler/match.rkt b/collects/redex/private/compiler/match.rkt index 8d6d96a3b9..669bb4110f 100644 --- a/collects/redex/private/compiler/match.rkt +++ b/collects/redex/private/compiler/match.rkt @@ -1689,12 +1689,12 @@ (redex-match L (pvar_10 bool_10 eq_10 ... (= (side-condition eq_2 (redex-match L (eqs_4 ... (,(term eq_2) #t eq_4 ...) eqs_5 ...) (term ((pvar bool eq ...) ...))))) eq_11 ...) x) (redex-match L (pvar_10 bool_10 eq_10 ... (cons (side-condition eq_2 (redex-match L (eqs_4 ... (,(term eq_2) #t eq_4 ...) eqs_5 ...) (term ((pvar bool eq ...) ...)))) - (side-condition eq_6 (redex-match L (eqs_6 ... (,(term eq_6) #t eq_6 ...) eqs_7 ...) (term ((pvar bool eq ...) ...)))) + (side-condition eq_6 (redex-match L (eqs_6 ... (,(term eq_6) #t eq_8 ...) eqs_7 ...) (term ((pvar bool eq ...) ...)))) ) eq_11 ...) x) (redex-match L (pvar_10 bool_10 eq_10 ... (plug (side-condition eq_2 (redex-match L (eqs_4 ... (,(term eq_2) #t eq_4 ...) eqs_5 ...) (term ((pvar bool eq ...) ...)))) - (side-condition eq_6 (redex-match L (eqs_6 ... (,(term eq_6) #t eq_6 ...) eqs_7 ...) (term ((pvar bool eq ...) ...)))) + (side-condition eq_6 (redex-match L (eqs_6 ... (,(term eq_6) #t eq_8 ...) eqs_7 ...) (term ((pvar bool eq ...) ...)))) ) eq_11 ...) x) ) @@ -1713,12 +1713,12 @@ (redex-match L (pvar_10 bool_10 eq_10 ... (= (side-condition eq_2 (redex-match L (eqs_4 ... (,(term eq_2) #t eq_4 ...) eqs_5 ...) (term ((pvar bool eq ...) ...))))) eq_11 ...) x) (redex-match L (pvar_10 bool_10 eq_10 ... (cons (side-condition eq_2 (redex-match L (eqs_4 ... (,(term eq_2) #t eq_4 ...) eqs_5 ...) (term ((pvar bool eq ...) ...)))) - (side-condition eq_6 (redex-match L (eqs_6 ... (,(term eq_6) #t eq_6 ...) eqs_7 ...) (term ((pvar bool eq ...) ...)))) + (side-condition eq_6 (redex-match L (eqs_6 ... (,(term eq_6) #t eq_8 ...) eqs_7 ...) (term ((pvar bool eq ...) ...)))) ) eq_11 ...) x) (redex-match L (pvar_10 bool_10 eq_10 ... (plug (side-condition eq_2 (redex-match L (eqs_4 ... (,(term eq_2) #t eq_4 ...) eqs_5 ...) (term ((pvar bool eq ...) ...)))) - (side-condition eq_6 (redex-match L (eqs_6 ... (,(term eq_6) #t eq_6 ...) eqs_7 ...) (term ((pvar bool eq ...) ...)))) + (side-condition eq_6 (redex-match L (eqs_6 ... (,(term eq_6) #t eq_8 ...) eqs_7 ...) (term ((pvar bool eq ...) ...)))) ) eq_11 ...) x) ) @@ -1756,4 +1756,4 @@ (let ([results '()]) ,(car (apply-reduction-relation* red m)) results)) - (namespace-anchor->namespace here))) \ No newline at end of file + (namespace-anchor->namespace here)))