From 2b7797ad1795e8c9416d92f7ab133db9650a003d Mon Sep 17 00:00:00 2001 From: John Clements Date: Fri, 28 May 2010 14:57:18 -0700 Subject: [PATCH] comments added, & 1 test --- collects/stepper/private/shared.rkt | 3 ++- collects/tests/stepper/through-tests.rkt | 4 ++++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/stepper/private/shared.rkt b/collects/stepper/private/shared.rkt index 08d8a34229..a831d60434 100644 --- a/collects/stepper/private/shared.rkt +++ b/collects/stepper/private/shared.rkt @@ -470,7 +470,8 @@ ;; (symbols 'rebuild 'discard) ;; (syntax? . -> . syntax?) ;; "skips over" part of a tree to find a subtree indicated by the - ;; stepper-skipto property. If the traversal argument is 'rebuild, the + ;; stepper-skipto property, and applies the transformer to it. + ;; If the traversal argument is 'rebuild, the ;; result of transformation is embedded again in the same tree. if the ;; traversal argument is 'discard, the result of the transformation is the ;; result of this function diff --git a/collects/tests/stepper/through-tests.rkt b/collects/tests/stepper/through-tests.rkt index b60cfd84eb..68a8f97dce 100755 --- a/collects/tests/stepper/through-tests.rkt +++ b/collects/tests/stepper/through-tests.rkt @@ -1080,6 +1080,10 @@ :: 9 false (check-expect {(+ 1 1)} 2) -> 9 false (check-expect {2} 2) :: 9 false true (check-expect {(+ 2 2)} 4) -> 9 false true (check-expect {4} 4)) + (t 'simple-check-expect m:beginner + (check-expect (+ 3 4) 7) + :: (check-expect {(+ 3 4)} 7) -> (check-expect {7} 7)) + (t1 'check-within m:upto-int/lam "(check-within (+ 3 4) (+ 8 10) (+ 10 90)) (check-expect (+ 1 1) 2)(+ 4 5)"