This commit is contained in:
Justin Ethier 2016-09-16 03:40:42 -04:00
parent fcfa5bda2f
commit 603d649336

View file

@ -487,7 +487,7 @@
;; Unrenamed variable identifier ;; Unrenamed variable identifier
(let ((renamed (gensym identifier))) (let ((renamed (gensym identifier)))
(env:define-variable! renamed identifier use-env) (env:define-variable! renamed identifier use-env)
; (env:define-variable! renamed identifier mac-env) ;; TODO: renamed val? (env:define-variable! renamed val mac-env)
(Cyc-write `(ER rename ,identifier to ,renamed) (current-output-port)) (Cyc-write `(ER rename ,identifier to ,renamed) (current-output-port))
(Cyc-display "\n" (current-output-port)) (Cyc-display "\n" (current-output-port))
renamed) renamed)