From 35f12827fe5b23d6ee1c3f22172eaa5b306b4aab Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Sat, 9 Jan 2016 04:24:57 -0500 Subject: [PATCH] More namespace hacks for REPLs REPL namespace hack seems to have broken; partially repaired it will more hacks, but still broken. see #31 --- curnel/redex-lang.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/curnel/redex-lang.rkt b/curnel/redex-lang.rkt index 2999c26..a8dab07 100644 --- a/curnel/redex-lang.rkt +++ b/curnel/redex-lang.rkt @@ -475,7 +475,7 @@ #`(begin (export-envs gamma-out delta-out bind-out) (begin-for-syntax - (define nm (map namespace-variable-value (namespace-mapped-symbols))) + (define nm (map (lambda (x) (namespace-variable-value x #f (lambda x #t))) (namespace-mapped-symbols))) (bind-subst (first (memf subst? nm))) (gamma (first (memf Γ? nm))) (delta (first (memf Δ? nm))))