Additional debugging

This commit is contained in:
Justin Ethier 2018-09-14 12:36:05 -04:00
parent dbd1e4799f
commit 8f7b785ec3

View file

@ -1958,9 +1958,11 @@
(define (remove-candidate param-sym) (define (remove-candidate param-sym)
(hash-table-delete! candidates param-sym)) (hash-table-delete! candidates param-sym))
(define (found exp) (define (found exp . sym)
(let ((lid (ast:lambda-id exp))) (let ((lid (ast:lambda-id exp)))
(if (null? sym)
(trace:info `(found known lambda with id ,lid)) (trace:info `(found known lambda with id ,lid))
(trace:info `(found known lambda with id ,lid sym ,(car sym))))
(with-fnc! lid (lambda (fnc) (with-fnc! lid (lambda (fnc)
(adbf:set-well-known! fnc #t))))) (adbf:set-well-known! fnc #t)))))
@ -2016,7 +2018,7 @@
;; Record all well-known lambdas that were found indirectly ;; Record all well-known lambdas that were found indirectly
(for-each (for-each
(lambda (sym/lamb) (lambda (sym/lamb)
(found (cdr sym/lamb))) (found (cdr sym/lamb) (car sym/lamb)))
(hash-table->alist candidates)) (hash-table->alist candidates))
;; Save the candidate list so we can use it to lookup ;; Save the candidate list so we can use it to lookup
;; well-known lambda's by var references to them. ;; well-known lambda's by var references to them.