This commit is contained in:
Justin Ethier 2016-09-17 18:02:49 -04:00
parent 9555c48850
commit 2e35a84a68

View file

@ -605,8 +605,8 @@
(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 val mac-env) ;(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)
;identifier ;; TESTING! ;identifier ;; TESTING!
) )
@ -640,11 +640,15 @@
(define (Cyc-er-compare? use-env) (define (Cyc-er-compare? use-env)
(lambda (a b) (lambda (a b)
(let ((aval (env:lookup a use-env #f)) (let* ((aval (env:lookup a use-env #f))
(bval (env:lookup b use-env #f))) (bval (env:lookup b use-env #f))
(if (and aval bval) (result (if (and aval bval)
(eq? aval bval) (eq? aval bval)
(eq? a b))))) (eq? a b)))
)
;(Cyc-write `(compare ,a ,b ,aval ,bval ,result) (current-output-port))
;(Cyc-display "\n" (current-output-port))
result)))
;; Name-mangling. ;; Name-mangling.