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

Removed dead code

Browse source
This commit is contained in:
Justin Ethier 2015-03-23 22:35:47 -04:00
parent e73155586f
commit eae579bf32
2 changed files with 2 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
cyclone.scm
View file

@ -69,7 +69,7 @@
(set! globals (cons 'call/cc globals)) (set! globals (cons 'call/cc globals))
(set! input-program (set! input-program
(cons (cons
;; Add call/cc here because it is already in CPS form ;; call/cc must be written in CPS form, so it is added here
;; TODO: prevents this from being optimized-out ;; TODO: prevents this from being optimized-out
;; TODO: will this cause issues if another var is assigned to call/cc? ;; TODO: will this cause issues if another var is assigned to call/cc?
'(define call/cc '(define call/cc

16
trans.scm
View file

@ -1462,21 +1462,7 @@
(cps ast (cps ast
(let ((r (gensym 'r))) (let ((r (gensym 'r)))
`(lambda (,r) (%halt ,r))))))) `(lambda (,r) (%halt ,r)))))))
;; TODO: this is very broken if call/cc is used by a global function!!! ast-cps))
;; TODO: if needed, should call/cc be added as a global?
;; may need a separate scanning phase to detect call/cc and add the def
;(if (member 'call/cc (free-vars ast))
; ; add this definition for call/cc if call/cc is needed
; (list
; (list
; 'lambda
; (list 'call/cc)
; ast-cps)
; '(lambda (k f)
; (f k (lambda (_ result) (k result)))))
ast-cps;)
))
;; Closure-conversion. ;; Closure-conversion.
;; ;;