From 977659a11825f615437a7d308a085f8c04a2699f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 1 Feb 2012 11:15:33 -0600 Subject: [PATCH] fix redex's syntax pruning to not drop the #%top binding --- collects/redex/private/reduction-semantics.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/redex/private/reduction-semantics.rkt b/collects/redex/private/reduction-semantics.rkt index a1dd9944df..3dc8d0e8e1 100644 --- 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)]))))