From 77a31dc2af1bd7c085adb8584b1ca63c82addcce Mon Sep 17 00:00:00 2001
From: John Clements <clements@racket-lang.org>
Date: Wed, 6 Jul 2011 23:22:19 -0700
Subject: [PATCH] fix a stepper bug related to recent change to handling of
 module-level defines

---
 collects/lang/private/teach.rkt       | 9 +++++++--
 collects/tests/stepper/test-cases.rkt | 4 ++--
 2 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/collects/lang/private/teach.rkt b/collects/lang/private/teach.rkt
index 473c07ab8b..f3c199e451 100644
--- a/collects/lang/private/teach.rkt
+++ b/collects/lang/private/teach.rkt
@@ -2955,8 +2955,13 @@
         [(_ a b) (syntax/loc stx (cons a b))]))
     ;; For expressions (cdr check via `the-cons'):
     (lambda (stx)
-      (syntax-case stx ()
-        [(_ a b) (syntax/loc stx (the-cons a b))])))
+      (with-syntax
+          ([the-cons/tagged (stepper-syntax-property
+                             #'the-cons
+                             'stepper-prim-name
+                             #'cons)])
+        (syntax-case stx ()
+          [(_ a b) (syntax/loc stx (the-cons/tagged a b))]))))
 
 (provide signature :
 	 -> mixed one-of predicate combined)
diff --git a/collects/tests/stepper/test-cases.rkt b/collects/tests/stepper/test-cases.rkt
index 9c5e25884d..99706ae16e 100644
--- a/collects/tests/stepper/test-cases.rkt
+++ b/collects/tests/stepper/test-cases.rkt
@@ -1369,7 +1369,7 @@
 
   (t1 'empty-begin
       m:advanced "(begin)"
-      `((error "begin: expected a sequence of expressions after `begin', but nothing's there")))
+      `((error "begin: expected at least one expression after begin, but nothing's there")))
 
   ;;;;;;;;;;;;
   ;;
@@ -1379,7 +1379,7 @@
   
   (t1 'empty-begin0
       m:advanced "(begin0)"
-      `((error "begin0: expected a sequence of expressions after `begin0', but nothing's there")))
+      `((error "begin0: expected at least one expression after begin0, but nothing's there")))
   
   (t1 'trivial-begin0
       m:advanced "(begin0 3)"