dmbcs/guile
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add dynlet to tree-il

Browse source 
* module/language/tree-il.scm (<dynlet>, dynlet?, make-dynlet)
  (dynlet-src, dynlet-fluids, dynlet-vals, dynlet-body): New tree-il
  construct, mapping to `with-fluids'.
  (parse-tree-il, unparse-tree-il, tree-il->scheme, tree-il-fold):
  (make-tree-il-folder, post-order!, pre-order!): Wire it up.
* module/language/tree-il/analyze.scm (analyze-lexicals): Add dynlet
  support.
This commit is contained in:
Andy Wingo 2010-02-18 18:05:24 +01:00
commit d7c53a8695
2 changed files with 39 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
module/language/tree-il/analyze.scm
View file

@ -339,6 +339,9 @@
((<dynwind> body winder unwinder)
(lset-union eq? (step body) (step winder) (step unwinder)))
((<dynlet> fluids vals body)
(apply lset-union eq? (step body) (map step (append fluids vals))))
((<prompt> tag body handler pre-unwind-handler)
(lset-union eq? (step tag) (step handler)
(if pre-unwind-handler (step pre-unwind-handler) '())))
@ -500,6 +503,9 @@
((<dynwind> body winder unwinder)
(max (recur body) (recur winder) (recur unwinder)))
((<dynlet> fluids vals body)
(apply max (recur body) (map recur (append fluids vals))))
((<prompt> tag body handler pre-unwind-handler)
(let ((cont-var (and (lambda-case? handler)
(pair? (lambda-case-vars handler))