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

Fixed violation of the invariant introduced in r16504.

Browse Source 
svn: r17371
This commit is contained in:
Casey Klein 2009-12-20 19:36:38 +00:00
parent f332afc3dd
commit 16fd573e7b
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/redex/private/matcher-test.ss
View File

@ -628,6 +628,7 @@
(test-ellipsis-binding '((number_1 number_2) ...) '((1 2))) (test-ellipsis-binding '((number_1 number_2) ...) '((1 2)))
(test-ellipsis-binding '((name x number_1) ...) '(1 2)) (test-ellipsis-binding '((name x number_1) ...) '(1 2))
(test-ellipsis-binding '(((number_1 ...) (number_2 ...)) ...) '(((1) (2)))) (test-ellipsis-binding '(((number_1 ...) (number_2 ...)) ...) '(((1) (2))))
(test-ellipsis-binding '(number ... variable) '(1 x))
(cond (cond
[(= failures 0) [(= failures 0)

5
collects/redex/private/matcher.ss
View File

@ -1478,9 +1478,8 @@ before the pattern compiler is invoked.
[else (let ([r-exp (car r-exps)]) [else (let ([r-exp (car r-exps)])
(cond (cond
[(repeat? r-exp) [(repeat? r-exp)
(i-loop (append (repeat-empty-bindings r-exp)
(cdr r-exps) (i-loop (cdr r-exps) ribs))]
(append (repeat-empty-bindings r-exp) ribs))]
[else [else
(loop (car r-exps) (i-loop (cdr r-exps) ribs))]))])))] (loop (car r-exps) (i-loop (cdr r-exps) ribs))]))])))]
[else ribs]))) [else ribs])))