Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-05-25 04:55:04 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Well-known lambdas cannot be called from runtime

Browse source
This commit is contained in:
Justin Ethier 2018-09-27 15:57:51 -04:00
parent 7a8c4e45f6
commit 0a9cd2a6b7
1 changed files with 15 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
scheme/cyclone/cps-optimizations.sld
View file

@ -2029,6 +2029,15 @@
(hash-table-delete! scopes param-sym) (hash-table-delete! scopes param-sym)
) )
;; Determine if the expression is a call to a primitive that receives
;; a continuation. This is important since well-known functions cannot
;; be passed as such a cont.
(define (prim-call/cont? exp)
(let ((result (and (app? exp)
(prim:cont? (car exp)))))
(trace:info `(prim-call/cont? ,exp ,result))
result))
(define (found exp . sym) (define (found exp . sym)
(let ((lid (ast:lambda-id exp))) (let ((lid (ast:lambda-id exp)))
(if (null? sym) (if (null? sym)
@ -2062,11 +2071,15 @@
((app? exp) ((app? exp)
(cond (cond
((ast:lambda? (car exp)) ((ast:lambda? (car exp))
(found (car exp)) ;; We immediately know these lambdas are well-known (when (not (any prim-call/cont? (cdr exp)))
(found (car exp))) ;; We immediately know these lambdas are well-known
(let ((formals (ast:lambda-formals->list (car exp)))) (let ((formals (ast:lambda-formals->list (car exp))))
(when (and (pair? formals) (when (and (pair? formals)
(pair? (cdr exp)) (pair? (cdr exp))
(ast:lambda? (cadr exp))) (ast:lambda? (cadr exp))
;; Lambda is not well-known when called from a runtime prim
;;(not (any prim-call/cont? (cdr exp)))
)
(add-candidate! (cadr exp) (car exp) (car formals))) (add-candidate! (cadr exp) (car exp) (car formals)))
) )
;; Scan the rest of the args ;; Scan the rest of the args