Make the stepper ignore `check-property'.

svn: r17013

collects/deinprogramm/DMdA.ss

@@ -1006,8 +1006,8 @@
      (stepper-syntax-property
       (check-expect-maker stx #'check-property-error #'?prop '() 
 			  'comes-from-check-property)
-      'stepper-skip-completely
-      #t))
+      'stepper-replace
+      #'#t))
     (_ (raise-syntax-error #f "`check-property' erwartet einen einzelnen Operanden"
 			   stx))))
 

collects/stepper/internal-docs.txt

@@ -212,6 +212,12 @@ stepper-skipto/discard :
  Abstraktion", where procedures are wrapped in a contract-checking
  context that has no impact on the reduction semantics.)
 
+stepper-replace :
+
+  This is like stepper-skipto/discard, except that it makes the
+  stepper replace the expression the property is attached to by the
+  value of the property.
+
 stepper-else :
  [ #t ] : Initially applied to the 'true' that the cond macro
   replaces a beginner's 'else' with, it is later transferred

collects/stepper/private/annotate.ss

@@ -1160,7 +1160,8 @@
   
   
   (define (annotate/module-top-level exp)
-    (cond [(stepper-syntax-property exp 'stepper-skip-completely) exp]
+    (cond [(stepper-syntax-property exp 'stepper-replace)]
+          [(stepper-syntax-property exp 'stepper-skip-completely) exp]
           ;; for kathy's test engine:
           [(syntax-property exp 'test-call) exp]
           [(stepper-syntax-property exp 'stepper-define-struct-hint)