[Guile-commits] 03/06: Fix some cps2 utils bugs

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit ea5187ad862817e1bdedc9e03e468f5572aaf4de
Author: Andy Wingo <address@hidden>
Date:   Wed Jun 3 11:20:22 2015 +0200

    Fix some cps2 utils bugs
    
    * module/language/cps2/utils.scm (compute-function-body): $callk does
      not add to a local function graph.
      (compute-successors): Fix extraction of "handler" continuation for
      $prompt.
---
 module/language/cps2/utils.scm |    4 +---
 1 files changed, 1 insertions(+), 3 deletions(-)

diff --git a/module/language/cps2/utils.scm b/module/language/cps2/utils.scm
index 79d37e8..d375925 100644
--- a/module/language/cps2/utils.scm
+++ b/module/language/cps2/utils.scm
@@ -197,8 +197,6 @@
             (visit-cont k (match exp
                             (($ $branch k)
                              (visit-cont k labels))
-                            (($ $callk k)
-                             (visit-cont k labels))
                             (($ $prompt escape? tag k)
                              (visit-cont k labels))
                             (_ labels)))))))))))
@@ -219,7 +217,7 @@
             (($ $kargs names vars ($ $continue k src exp))
              (match exp
                (($ $branch kt) (propagate2 k kt))
-               (($ $prompt escape? handler) (propagate2 k handler))
+               (($ $prompt escape? tag handler) (propagate2 k handler))
                (_ (propagate1 k))))
             (($ $kreceive arity k)
              (propagate1 k))