WIP, added debugging

This commit is contained in:
Justin Ethier 2017-11-30 19:02:15 -05:00
parent aadd07943b
commit 18eed21246

View file

@ -401,9 +401,9 @@
((and (syntax? exp) ((and (syntax? exp)
(not (null? (cdr exp)))) (not (null? (cdr exp))))
(analyze-syntax exp env)) (analyze-syntax exp env))
;;((and (tagged-list? 'let-syntax exp) ((and (tagged-list? 'let-syntax exp)
;; (not (null? (cdr exp)))) (not (null? (cdr exp))))
;; (analyze-let-syntax exp env)) (analyze-let-syntax exp env))
((and (if? exp) ((and (if? exp)
(not (null? (cdr exp)))) (not (null? (cdr exp))))
(analyze-if exp env)) (analyze-if exp env))
@ -451,10 +451,15 @@
'ok))) 'ok)))
(define (analyze-let-syntax exp a-env) (define (analyze-let-syntax exp a-env)
;; TODO: probably just create a fresh env for renames (let* ((rename-env (env:extend-environment '() '() '()))
;; TODO: expand, do we need to clean as well? (expanded (expand exp (macro:get-env) rename-env))
;; TODO: run results back through analyze: (analyze (expand env? rename-env? )
) ;; TODO: probably just create a fresh env for renames
;; TODO: expand, do we need to clean as well?
;; TODO: run results back through analyze: (analyze (expand env? rename-env?
(write `(DEBUG ,expanded))
(newline)
(analyze expanded a-env)))
(define (analyze-syntax exp a-env) (define (analyze-syntax exp a-env)
(let ((var (cadr exp))) (let ((var (cadr exp)))
@ -841,7 +846,8 @@
(current-error-port)) (current-error-port))
(newline (current-error-port))) (newline (current-error-port)))
;(log exp) ;(log exp)
;(trace:error `(expand ,exp)) (write `(expand ,exp))
(newline)
(cond (cond
((const? exp) exp) ((const? exp) exp)
((prim? exp) exp) ((prim? exp) exp)