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

Fixes "Reduce until ..." in stepper

Browse Source
This commit is contained in:
Casey Klein 2010-08-17 12:08:16 -05:00
parent 7daf515f65
commit e0643611c3
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/redex/private/stepper.rkt
View File

@ -217,7 +217,8 @@ todo:
[(or (not reds-choice)
(zero? (send reds-choice get-selection)))
#f]
[else (list-ref reduction-names (- (send reds-choice get-selection) 1))])])
[else (symbol->string
(list-ref reduction-names (- (send reds-choice get-selection) 1)))])])
(let loop ([next-node click-target]
[new-nodes (list)]
[cutoff (if looking-for
@ -235,8 +236,7 @@ todo:
(cond
[(send (car new-children) in-cycle?)
(reverse (cons new-children new-nodes))]
[(equal? (find-reduction-label next-node (car new-children))
looking-for)
[(member looking-for (find-reduction-label next-node (car new-children)))
(reverse (cons new-children new-nodes))]
[else
(loop (car new-children)