Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-07-17 01:37:34 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Staging TODO

Browse source
This commit is contained in:
Justin Ethier 2018-08-22 13:39:52 -04:00
parent 3261eee05a
commit 018fa106d6
1 changed files with 12 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1372,7 +1372,7 @@
(not (adbv:reassigned? var))
(not (adbv:self-rec-call? var))
;(not (fnc-depth>? (ast:lambda-body fnc) 4))))
(not (fnc-depth>? (ast:lambda-body fnc) 5))))
(not (fnc-depth>? (ast:lambda-body fnc) 8))))
)))
(else #f)))
@ -1415,16 +1415,24 @@
; (if (adbv:cont? var) maybe-cont #f)))
; #f))
)
;(trace:error `(JAE beta expand ,exp ,var ,fnc ,formals ))
(trace:error `(JAE beta expand ,exp ,var ,fnc ,formals ))
(cond
;; TODO: what if fnc has no cont? do we need to handle differently?
((and (ast:lambda? fnc)
(not (adbv:reassigned? var)) ;; Failsafe
(not (equal? fnc (adbv:assigned-value var))) ;; Do not expand recursive func
;; TODO: can we be smarter about this? maybe scan fnc body and see if there are any
;; referenes to the var sym, at which point we have to bail
;(not (equal? fnc (adbv:assigned-value var))) ;; Do not expand recursive func
;; TODO: not fool-proof but to protect against rec function we can ensure ID of fnc
;; is not in the var's ref-by list
; (not (member (ast:lambda-id fnc) (adbv:ref-by var)))
TODO: no, not good enough, need to scan all of the function body to ensure var is not referenced.
can check for lambda ID's along the way though, to potentially speed things up
;;
(not (adbv:cont? var)) ;; TEST, don't delete a continuation
(list? formals)
(= (length args) (length formals)))
;(trace:error `(JAE DEBUG beta expand ,exp))
(trace:error `(JAE DEBUG beta expand 2 ,exp ,(member (ast:lambda-id fnc) (adbv:ref-by var)) ,(ast:lambda-id fnc) ,(adbv:ref-by var)))
(beta-expansion-app exp fnc rename-lambdas) ; exp
)
(else exp)))) ;; beta expansion failed