fix redex's syntax pruning to not drop the #%top binding

2012-02-01 11:15:33 -06:00 · 2012-02-01 11:15:33 -06:00 · 977659a118
commit 977659a118
parent 7c1c0c96c0
1 changed files with 1 additions and 1 deletions
--- a/collects/redex/private/reduction-semantics.rkt
+++ b/collects/redex/private/reduction-semantics.rkt
@ -41,7 +41,7 @@
                       stx)]
       [x 
        (identifier? #'x)
-        (identifier-prune-lexical-context #'x)]
+        (identifier-prune-lexical-context #'x (list (syntax-e #'x) '#%top))]
       [() (datum->syntax #f '() stx)]
       [_ (datum->syntax (identifier-prune-lexical-context #'whatever '(#%datum))
                         (syntax->datum stx) stx)]))))