Add a type check

This commit is contained in:
Justin Ethier 2018-09-21 13:06:37 -04:00
parent ade50748b6
commit 40a2131fef

View file

@ -1623,10 +1623,11 @@
(for-each
(lambda (l)
(let ((ast (caddr l)))
(when (ast:lambda? ast)
(with-fnc (ast:lambda-id ast) (lambda (fnc)
(when (and (adbf:well-known fnc)
(equal? (adbf:closure-size fnc) 1))
(trace:error `(JAE ,l ,fnc))
(trace:error `(JAE ,l ,fnc))
(let* ((params-str (cdadr l))
(args-str
(string-join
@ -1652,7 +1653,7 @@
(if (> (string-length args-str) 0)
(string-append "," args-str))
");"
"}")))))))
"}"))))))))
lambdas)
; Print the definitions: