suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fussing with test results

Browse Source 
svn: r9985
This commit is contained in:
John Clements 2008-05-27 20:21:17 +00:00
parent 001cb4ca8d
commit 7909426f60
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/stepper/private/reconstruct.ss
View File

@ -148,9 +148,7 @@
(define (skip-step? break-kind mark-list render-settings) (define (skip-step? break-kind mark-list render-settings)
(case break-kind (case break-kind
[(result-value-break) [(result-value-break)
(and (pair? mark-list) #f]
(let ([expr (mark-source (car mark-list))])
(stepper-syntax-property expr 'stepper-hide-reduction)))]
[(result-exp-break) [(result-exp-break)
;; skip if clauses that are the result of and/or reductions ;; 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)]) (let ([and/or-clauses-consumed (stepper-syntax-property (mark-source (car mark-list)) 'stepper-and/or-clauses-consumed)])
@ -167,6 +165,7 @@
(not (render-settings-lifting? render-settings)))] (not (render-settings-lifting? render-settings)))]
[(expr-finished-break define-struct-break late-let-break) #f])) [(expr-finished-break define-struct-break late-let-break) #f]))
;; skip-redex-step : mark-list? render-settings? -> boolean?
(define (skip-redex-step? mark-list render-settings) (define (skip-redex-step? mark-list render-settings)
(define (varref-skip-step? varref) (define (varref-skip-step? varref)