This commit is contained in:
Justin Ethier 2016-06-02 22:42:32 -04:00
parent 348b85c492
commit a62387cb03

View file

@ -438,7 +438,8 @@
; Application: ; Application:
((app? exp) ((app? exp)
(cond (cond
((ast:lambda? exp) ((and (ast:lambda? (car exp))
(all-prim-calls? (cdr exp)))
'TODO) 'TODO)
(else (else
(map contract-prims exp)))) (map contract-prims exp))))