fix a stepper bug related to recent change to handling of module-level defines

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)

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)"