Bug fix, debug stubs

This commit is contained in:
Justin Ethier 2016-05-14 03:47:02 -04:00
parent 49fe5bdef6
commit 3df66cfa6d

View file

@ -150,7 +150,8 @@
((ast:lambda? exp) ((ast:lambda? exp)
(let* ((id (ast:lambda-id exp)) (let* ((id (ast:lambda-id exp))
(fnc (adb:get id))) (fnc (adb:get id)))
(adbf:set-simple! (simple-lambda? exp)) ;(trace:error `(adb:get ,id ,fnc))
(adbf:set-simple! fnc (simple-lambda? exp))
(for-each (for-each
(lambda (expr) (lambda (expr)
(analyze2 expr)) (analyze2 expr))
@ -211,11 +212,18 @@
(let ((body (ast:lambda-body ast)) (let ((body (ast:lambda-body ast))
(formals (ast:lambda-formals->list ast)) (formals (ast:lambda-formals->list ast))
(id (ast:lambda-id ast))) (id (ast:lambda-id ast)))
;(trace:error `(simple-lambda? ,id ,formals
;,(and (pair? body)
; (app? body)
; (ast:lambda? (car body)))
;,(length formals)
;,body))
(and (pair? body) (and (pair? body)
(app? body) (app? body)
(ast:lambda? (car body)) (ast:lambda? (car body))
(> (length formals) 0) (> (length formals) 0)
(equal? (app->args body) (equal? (app->args body)
formals) formals)
(not (any-nonlocal-refs? id formals))))) (not (any-nonlocal-refs? id formals))
)))
)) ))