fixed dmda stepper bug: goes in 4.2.4 release

svn: r17805
This commit is contained in:
John Clements 2010-01-24 19:28:57 +00:00
parent 100fe8520d
commit 2098a19291

View File

@ -1171,11 +1171,13 @@
[defined-name (if (and (pair? name-list) (null? (cdr name-list))) [defined-name (if (and (pair? name-list) (null? (cdr name-list)))
(car name-list) (car name-list)
#f)]) #f)])
#`(begin (stepper-recertify
(define-values (new-var ...) #`(begin
#,(top-level-annotate/inner (top-level-rewrite #`e) exp defined-name)) (define-values (new-var ...)
;; this next expression should deliver the newly computed values to an exp-finished-break #,(top-level-annotate/inner (top-level-rewrite #`e) exp defined-name))
(#%plain-app #,exp-finished-break (#%plain-app list (#%plain-app list #,(lambda () exp) #f (#%plain-lambda () (#%plain-app list new-var ...)))))))] ;; this next expression should deliver the newly computed values to an exp-finished-break
(#%plain-app #,exp-finished-break (#%plain-app list (#%plain-app list #,(lambda () exp) #f (#%plain-lambda () (#%plain-app list new-var ...))))))
#'e))]
[(define-syntaxes (new-vars ...) e) [(define-syntaxes (new-vars ...) e)
exp] exp]
[(#%require specs ...) [(#%require specs ...)