suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fixed a bug uncovered by a stronger syntactic check in redex

Browse Source
This commit is contained in:
Steven Jaconette 2010-10-04 11:24:36 -05:00 committed by Robby Findler
parent 188e1ddcc1
commit 9a4b2d2023
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/redex/private/compiler/match.rkt
View File

@ -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)))
(namespace-anchor->namespace here)))