From d0e5e2cbb6c803cf1bdaf522397adf38eaa28cf1 Mon Sep 17 00:00:00 2001
From: John Clements <clements@racket-lang.org>
Date: Thu, 10 May 2007 18:04:41 +0000
Subject: [PATCH] added skipto for let-syntaxes

svn: r6192
---
 collects/lang/private/teach.ss | 19 +++++++++++++------
 1 file changed, 13 insertions(+), 6 deletions(-)

diff --git a/collects/lang/private/teach.ss b/collects/lang/private/teach.ss
index 468a58a8df..470b4e07ed 100644
--- 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)