From 32361ddcedf0653db5d2b1906c97edd0b2ea245a Mon Sep 17 00:00:00 2001 From: Justin Ethier Date: Wed, 17 Jan 2018 16:53:23 -0500 Subject: [PATCH] Added a TODO --- scheme/eval.sld | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/scheme/eval.sld b/scheme/eval.sld index ca06164b..3c689ffe 100644 --- a/scheme/eval.sld +++ b/scheme/eval.sld @@ -904,8 +904,12 @@ (a-lookup (map (lambda (a) - (let ((a/r (cons a (Cyc-er-rename use-env env)))) - (env:define-variable! (cdr a/r) (car a/r) rename-env) + (let ((a/r (cons a (gensym a)))) + I think we want to pass these a-lookup bindings to Cyc-er-rename and + use them to rename any locals. ideally want this stored with macro def + for define-syntax. I think we get it for free with let*-syntax + ;; TODO: define needed? + ;(env:define-variable! (cdr a/r) (car a/r) rename-env) a/r)) args)) (new-formals