stepper annotation to skip introduced 'values'

svn: r1499
2005-12-02 21:33:27 +00:00 · 2005-12-02 21:33:27 +00:00 · 26c5a97299
commit 26c5a97299
parent a9add5064d
1 changed files with 2 additions and 1 deletions
--- 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)