[Guile-commits] 09/13: Fix CPS2 compute-successors

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit 16d92c566fe23e50359965056ccfe25b2ae92dd5
Author: Andy Wingo <address@hidden>
Date:   Wed Jul 22 17:00:34 2015 +0200

    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.
---
 module/language/cps2/utils.scm |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/module/language/cps2/utils.scm b/module/language/cps2/utils.scm
index e62966e..eae6b69 100644
--- a/module/language/cps2/utils.scm
+++ b/module/language/cps2/utils.scm
@@ -293,8 +293,8 @@ intset."
              (propagate1 k))
             (($ $kfun src meta self tail clause)
              (if clause
-                 (propagate1 clause)
-                 (propagate0)))
+                 (propagate2 clause tail)
+                 (propagate1 tail)))
             (($ $kclause arity kbody kalt)
              (if kalt
                  (propagate2 kbody kalt)