macro stepper: fixed opaque variable ref bug

svn: r15348 original commit: ae01dea33645f9da4fe61b54e6801ce655ca14b3
2009-06-30 22:41:05 +00:00 · 2009-06-30 22:41:05 +00:00 · 94a1f98298
commit 94a1f98298
parent ff826b17e3 eb0bfc7909 c5579d0bab dbc5517dad de3e111402 c199055ac7 57f69f722c 32abb27e21
1 changed files with 2 additions and 1 deletions
--- a/collects/macro-debugger/model/reductions.ss
+++ b/collects/macro-debugger/model/reductions.ss
@ -60,7 +60,8 @@
    ;; Primitives
    [(Wrap p:variable (e1 e2 rs ?1))
     (R [#:learn (list e2)]
-        [#:when (not (bound-identifier=? e1 e2))
+        [#:when (or (not (identifier? e1))
+                    (not (bound-identifier=? e1 e2)))
                [#:walk e2 'resolve-variable]])]
    [(Wrap p:module (e1 e2 rs ?1 ?2 tag rename check tag2 ?3 body shift))
     (R [#:hide-check rs]