added skipto for let-syntaxes

svn: r6192
2007-05-10 18:04:41 +00:00 · 2007-05-10 18:04:41 +00:00 · d0e5e2cbb6
commit d0e5e2cbb6
parent db0f29e3e4
1 changed files with 13 additions and 6 deletions
--- a/collects/lang/private/teach.ss
+++ b/collects/lang/private/teach.ss
@ -1433,12 +1433,19 @@
 			  [(rhs-expr ...) (map allow-local-lambda 
 					       (syntax->list (syntax (rhs-expr ...))))])
 	      (quasisyntax/loc stx
-		(let-values ([(tmp-id) rhs-expr] ...)
-		  (let-syntaxes ([(name) (make-undefined-check
-					  (quote-syntax check-not-undefined)
-					  (quote-syntax tmp-id))]
-				 ...)
-				expr))))]
+                (let-values ([(tmp-id) rhs-expr] ...)
+                  #,(stepper-syntax-property
+                     #`(let-syntaxes ([(name) (make-undefined-check
+                                               (quote-syntax check-not-undefined)
+                                               (quote-syntax tmp-id))]
+                                      ...)
+                                     expr)
+                     'stepper-skipto
+                     (append
+                      ;; body of let-values:
+                      skipto/third
+                      ;; body of let-values:
+                      skipto/third)))))]
 	   [_else (bad-let-form 'let stx stx)]))))

    (define (intermediate-let*/proc stx)