suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

More namespace hacks for REPLs

Browse Source 
REPL namespace hack seems to have broken; partially repaired it will
more hacks, but still broken. see #31
This commit is contained in:
William J. Bowman 2016-01-09 04:24:57 -05:00
parent dbc3b057dc
commit 35f12827fe
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
curnel/redex-lang.rkt
View File

@ -475,7 +475,7 @@
#`(begin #`(begin
(export-envs gamma-out delta-out bind-out) (export-envs gamma-out delta-out bind-out)
(begin-for-syntax (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))) (bind-subst (first (memf subst? nm)))
(gamma (first (memf Γ? nm))) (gamma (first (memf Γ? nm)))
(delta (first (memf Δ? nm)))) (delta (first (memf Δ? nm))))