From 16d92c566fe23e50359965056ccfe25b2ae92dd5 Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Wed, 22 Jul 2015 17:00:34 +0200 Subject: [PATCH] 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 file changed, 2 insertions(+), 2 deletions(-) diff --git a/module/language/cps2/utils.scm b/module/language/cps2/utils.scm index e62966e40..eae6b69c6 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)