1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-12 06:41:13 +02:00

Beta reduction over first-order CPS

* module/language/cps2/simplify.scm (beta-reduce): Handle $closure.
This commit is contained in:
Andy Wingo 2015-07-16 07:32:52 +02:00
parent e419e9e3df
commit 099784ca91

View file

@ -238,7 +238,7 @@
(build-term (build-term
($continue k src ($continue k src
,(rewrite-exp exp ,(rewrite-exp exp
((or ($ $const) ($ $prim) ($ $fun) ($ $rec)) ((or ($ $const) ($ $prim) ($ $fun) ($ $rec) ($ $closure))
,exp) ,exp)
(($ $call proc args) (($ $call proc args)
($call (subst proc) ,(map subst args))) ($call (subst proc) ,(map subst args)))