1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-11 14:21:10 +02:00

Fix CPS2 compute-successors

* module/language/cps2/utils.scm (compute-successors): Propagate $kfun
  to $ktail so that we don't leave off the tail if the body iloops.
This commit is contained in:
Andy Wingo 2015-07-22 17:00:34 +02:00
parent 2df454b95b
commit 16d92c566f

View file

@ -293,8 +293,8 @@ intset."
(propagate1 k)) (propagate1 k))
(($ $kfun src meta self tail clause) (($ $kfun src meta self tail clause)
(if clause (if clause
(propagate1 clause) (propagate2 clause tail)
(propagate0))) (propagate1 tail)))
(($ $kclause arity kbody kalt) (($ $kclause arity kbody kalt)
(if kalt (if kalt
(propagate2 kbody kalt) (propagate2 kbody kalt)