From 3b94602e2e5c6f7ebf02a7a45e2e629b8b954d76 Mon Sep 17 00:00:00 2001 From: John Clements Date: Fri, 27 Aug 2010 14:59:12 -0700 Subject: [PATCH] added test case for PR 11120 --- collects/tests/stepper/through-tests.rkt | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/collects/tests/stepper/through-tests.rkt b/collects/tests/stepper/through-tests.rkt index 7a580618b1..c0086856ca 100755 --- a/collects/tests/stepper/through-tests.rkt +++ b/collects/tests/stepper/through-tests.rkt @@ -1451,6 +1451,19 @@ #;(t1 'bad-stx-and m:upto-int/lam "(and)" `((error "foo"))) + + (t 'local-struct/i m:intermediate + (define (f x) (local ((define-struct a (b c))) x)) (f 1) + :: (define (f x) (local ((define-struct a (b c))) x)) {(f 1)} + -> (define (f x) (local ((define-struct a (b c))) x)) {(define-struct a_1 (b c))} {1}) + + (t 'local-struct/ilam m:intermediate-lambda + (define (f x) (local ((define-struct a (b c))) x)) (f 1) + :: (define (f x) (local ((define-struct a (b c))) x)) {(f 1)} + -> (define (f x) (local ((define-struct a (b c))) x)) {((lambda (x) (local ((define-struct a (b c))) x)) 1)} + -> (define (f x) (local ((define-struct a (b c))) x)) {(define-struct a_1 (b c))} {1}) + + ;; run whatever tests are enabled (intended for interactive use): @@ -1461,8 +1474,8 @@ #;[show-all-steps #t]) #;(run-tests '(check-expect forward-ref check-within check-within-bad check-error check-error-bad)) #;(run-tests '(teachpack-universe)) - #;(run-tests '(simple-if)) - (run-all-tests))) + (run-tests '(local-struct/i local-struct/ilam)) + #;(run-all-tests)))