diff --git a/pkgs/htdp-pkgs/htdp-test/tests/stepper/test-cases.rkt b/pkgs/htdp-pkgs/htdp-test/tests/stepper/test-cases.rkt index 9e1014d0d4..0215a66477 100644 --- a/pkgs/htdp-pkgs/htdp-test/tests/stepper/test-cases.rkt +++ b/pkgs/htdp-pkgs/htdp-test/tests/stepper/test-cases.rkt @@ -681,6 +681,13 @@ ;; ;;;;;;;;;;;;; +(t1 'temp-letrec + m:intermediate "(letrec ([a 13]) 9)" + (let* ([defs2 `((define a_0 13))]) + `((before-after ((hilite (letrec ([a 13]) 9))) + ((hilite (define a_0 13)) (hilite 9))) + (finished-stepping)))) + (t1 'letrec1 m:intermediate "(define a 3) (define c 19) (letrec ([a 13] [b a]) (+ b a c))" (let* ([defs1 `((define a 3) (define c 19))] diff --git a/pkgs/htdp-pkgs/htdp-test/tests/stepper/through-tests.rkt b/pkgs/htdp-pkgs/htdp-test/tests/stepper/through-tests.rkt index 9b271b58b8..b5914bb6f0 100755 --- a/pkgs/htdp-pkgs/htdp-test/tests/stepper/through-tests.rkt +++ b/pkgs/htdp-pkgs/htdp-test/tests/stepper/through-tests.rkt @@ -104,7 +104,7 @@ #;(run-tests '(check-expect forward-ref check-within check-within-bad check-error check-error-bad)) #;(run-tests '(teachpack-universe)) - #;(run-test 'check-expect) + #;(run-test 'temp-letrec) (run-all-tests) #;(string->expanded-syntax-list m:mz "(if true 3 4)"