This commit is contained in:
Justin Ethier 2017-12-15 14:17:54 -05:00
parent a92cb172f8
commit 4ea55e062a

View file

@ -471,21 +471,21 @@
(define (analyze-letrec-syntax exp a-env) (define (analyze-letrec-syntax exp a-env)
(let* ((rename-env (env:extend-environment '() '() '())) (let* ((rename-env (env:extend-environment '() '() '()))
;; (vars (foldl (lambda (lis acc) (append acc (car lis))) '() a-env)) ; (vars (foldl (lambda (lis acc) (append acc (car lis))) '() a-env))
;; (vals (foldl (lambda (lis acc) (append acc (cdr lis))) '() a-env)) ; (vals (foldl (lambda (lis acc) (append acc (cdr lis))) '() a-env))
;; (zipped (apply map list vars (list vals))) ; (zipped (apply map list vars (list vals)))
;; (defined-macros ; (defined-macros
;; (filter ; (filter
;; (lambda (v) ; (lambda (v)
;; (Cyc-macro? (Cyc-get-cvar (cdr v)))) ; (Cyc-macro? (Cyc-get-cvar (cadr v))))
;; zipped)) ; zipped))
;; (macro-env ; (macro-env
;; (env:extend-environment ; (env:extend-environment
;; (map car defined-macros) ; (map car defined-macros)
;; (map (lambda (v) ; (map (lambda (v)
;; (list 'macro (cdr v))) ; (list 'macro (cadr v)))
;; defined-macros) ; defined-macros)
;; '())) ;; base-env ; '())) ;; base-env
;(expanded (expand exp macro-env rename-env)) ;(expanded (expand exp macro-env rename-env))
(expanded (expand exp a-env rename-env)) (expanded (expand exp a-env rename-env))