From 5cb5806442cca335ff4bec479896d0d9916b1f61 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 8 Dec 2005 22:43:18 +0000 Subject: [PATCH] recertify lifted-out varrefs svn: r1567 --- collects/stepper/private/annotate.ss | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/stepper/private/annotate.ss b/collects/stepper/private/annotate.ss index bcfd61a145..5f1ddb779e 100644 --- a/collects/stepper/private/annotate.ss +++ b/collects/stepper/private/annotate.ss @@ -650,7 +650,7 @@ (let*-2vals ([free-varrefs (list var)] [varref-break-wrap (lambda () - (wcm-break-wrap (make-debug-info-normal free-varrefs) + (wcm-break-wrap (make-debug-info-normal free-varrefs) (return-value-wrap var)))] [varref-no-break-wrap (lambda () @@ -683,7 +683,9 @@ (lambda (vals) (let*-2vals ([(new-exp bindings) vals]) (2vals (syntax-recertify new-exp exp (current-code-inspector) #f) - bindings)))] + (map (lambda (b) + (syntax-recertify b exp (current-code-inspector) #f)) + bindings))))] ) ; find the source expression and associate it with the parsed expression