mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-21 20:20:24 +02:00
Code Activity

tree-il->scheme renders fix as letrec*

Browse source 
* module/language/tree-il.scm (tree-il->scheme): Expand out to letrec*,
  as it doesn't matter, and this avoids a let when running through the
  evaluator.
This commit is contained in:
Andy Wingo 2010-06-17 13:34:48 +02:00
parent 9b3cc65965
commit 57086a19d0
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -444,8 +444,10 @@
,(map list gensyms (map tree-il->scheme vals)) ,(tree-il->scheme body))) ,(map list gensyms (map tree-il->scheme vals)) ,(tree-il->scheme body)))
((<fix> gensyms vals body) ((<fix> gensyms vals body)
;; not a typo, we really do translate back to letrec ;; not a typo, we really do translate back to letrec. use letrec* since it
`(letrec ,(map list gensyms (map tree-il->scheme vals)) ,(tree-il->scheme body))) ;; doesn't matter, and the naive letrec* transformation does not require an
;; inner let.
`(letrec* ,(map list gensyms (map tree-il->scheme vals)) ,(tree-il->scheme body)))
((<let-values> exp body) ((<let-values> exp body)
`(call-with-values (lambda () ,(tree-il->scheme exp)) `(call-with-values (lambda () ,(tree-il->scheme exp))