...

svn: r9580

collects/stepper/internal-docs.txt

@@ -234,6 +234,11 @@ stepper-args-of-call [ADDED BY RECONSTRUCTOR] :
   this reconstructed (...) expression is the result of a call with these args.
   used by the check-expect unwinder to figure out the expected values.
 
+stepper-hide-completed : don't show the final top-level expression binding
+  for this identifier.
+
+stepper-hide-reduction : don't show the reduction for this term.
+
 STEPPER-HINT COLLISIONS
 
  The major concern with the stepper-hint is that two of them may

collects/stepper/private/reconstruct.ss

@@ -150,7 +150,7 @@
       [(result-value-break)
        (and (pair? mark-list)
             (let ([expr (mark-source (car mark-list))])
-              (equal? (stepper-syntax-property expr 'stepper-hint) 'comes-from-check-expect)))]
+              (stepper-syntax-property expr 'stepper-hide-reduction)))]
       [(result-exp-break)
        ;; skip if clauses that are the result of and/or reductions
        (let ([and/or-clauses-consumed (stepper-syntax-property (mark-source (car mark-list)) 'stepper-and/or-clauses-consumed)])
@@ -185,7 +185,7 @@
     
     (and (pair? mark-list)
          (let ([expr (mark-source (car mark-list))])
-           (or (equal? (stepper-syntax-property expr 'stepper-hint) 'comes-from-check-expect)
+           (or (stepper-syntax-property expr 'stepper-hide-reduction)
                (kernel:kernel-syntax-case expr #f
                                           [id
                                            (identifier? expr)
@@ -584,8 +584,7 @@
   (define (hide-completed? stx)
     (syntax-case stx ()
       [(define-values (v) rhs)
-       (equal? (stepper-syntax-property #'v 'stepper-hint) 'comes-from-check-expect)
-       #t]
+       (stepper-syntax-property #'v 'stepper-hide-completed)]
       [else #f]))
   
                                                                                                                 

collects/stepper/private/shared.ss

@@ -7,6 +7,8 @@
            mzlib/match
            srfi/26
            mzlib/class)
+  
+  (require (for-syntax mzlib/list))
 
   ; CONTRACTS
   
@@ -92,6 +94,7 @@
    language-level->name
    
    stepper-syntax-property
+   with-stepper-syntax-properties
 
    skipto/cdr
    skipto/cddr
@@ -101,7 +104,6 @@
    skipto/fourth
    skipto/firstarg)
   
-    
   ;; stepper-syntax-property : like syntax property, but adds properties to an association
   ;; list associated with the syntax property 'stepper-properties
   (define stepper-syntax-property
@@ -118,6 +120,15 @@
                                                 (or (syntax-property stx 'stepper-properties)
                                                     null)))]))
   
+  ;; with-stepper-syntax-properties : like stepper-syntax-property, but in a "let"-like form
+  (define-syntax (with-stepper-syntax-properties stx)
+    (syntax-case stx ()
+      [(_ ([property val] ...) body)
+       (foldl (lambda (property val b) #`(stepper-syntax-property #,b #,property #,val))
+              #'body
+              (syntax->list #`(property ...))
+              (syntax->list #`(val ...)))]))
+  
   ; A step-result is either:
   ; (make-before-after-result finished-exps exp redex reduct)
   ; or (make-before-error-result finished-exps exp redex err-msg)