From e0643611c37efe5f71d1ccb9d6d9345c490fe6bd Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Tue, 17 Aug 2010 12:08:16 -0500 Subject: [PATCH] Fixes "Reduce until ..." in stepper --- collects/redex/private/stepper.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/redex/private/stepper.rkt b/collects/redex/private/stepper.rkt index fdcacca095..49a6c2c585 100644 --- a/collects/redex/private/stepper.rkt +++ b/collects/redex/private/stepper.rkt @@ -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)