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

Transform code to relocate loop's closure declaration

Browse source
This commit is contained in:
Justin Ethier 2019-09-18 22:49:49 -04:00
parent 066bd9c933
commit 23fab99873
1 changed files with 32 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

36
validation.scm
View file

@ -1,3 +1,4 @@
;; Temporary test file:
(cond-expand
(program
(import (scheme base)
@ -9,6 +10,9 @@
(cond-expand
(program
;; TODO: write code to find the loop.
;; may be able to use code in wrap-mutables for this.
;; anyway, here is one:
(define sexp
'((%closure
(lambda
@ -43,9 +47,33 @@
(%closure-ref self$41 1))
#f))
(pretty-print
(ast:ast->pp-sexp
(ast:sexp->ast sexp))
)
(define ast (ast:sexp->ast sexp))
;(pretty-print
; (ast:ast->pp-sexp
; (ast:sexp->ast sexp))
;)
)
)
(define (clo->lambda-body sexp)
(car (ast:lambda-body (cadr sexp))))
(let* ((outer-body (clo->lambda-body (car ast))) ; (clo-call cell)
(inner-body (clo->lambda-body (car outer-body)))
(set-cell-exp (cadr inner-body))
(set-clo (caddr set-cell-exp))
)
(write outer-body)
(set-car! (cdr inner-body) #f) ;; Don't do the set
(set-cdr! outer-body `((cell ,set-clo))) ;; Relocate the closure
;; TODO: replace self ref in params to set-clo
;; OR, just handle properly in cgen
(pretty-print
(ast:ast->pp-sexp
ast)
)
)