From 26c5a97299bd437ea50e437313680b52d170c48c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 2 Dec 2005 21:33:27 +0000 Subject: [PATCH] stepper annotation to skip introduced 'values' svn: r1499 --- collects/lang/private/teach.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/lang/private/teach.ss b/collects/lang/private/teach.ss index 27c3c1ead5..8334e0637b 100644 --- a/collects/lang/private/teach.ss +++ b/collects/lang/private/teach.ss @@ -852,7 +852,8 @@ (syntax-source-module #'id)) ;; ... but it might be defined later in the module, so ;; delay the check. - (syntax/loc stx (#%app values (beginner-top-continue id))) + (let ([tc (syntax/loc stx (beginner-top-continue id))]) + (ensure-expression tc (lambda () tc))) (syntax/loc stx (#%top . id)))])) (define (beginner-top-continue/proc stx)