compute-max-label-and-var takes letrec vars into account.

[bpt/guile.git] / module / language / cps.scm

diff --git a/module/language/cps.scm b/module/language/cps.scm
index c1bb304..90f38a4 100644 (file)
--- a/module/language/cps.scm
+++ b/module/language/cps.scm
@@ -508,8 +508,13 @@
    (lambda (label cont max-label max-var)
      (values (max label max-label)
              (match cont
-               (($ $kargs names vars)
-                (fold max max-var vars))
+               (($ $kargs names vars body)
+                (let lp ((body body) (max-var (fold max max-var vars)))
+                  (match body
+                    (($ $letk conts body) (lp body max-var))
+                    (($ $letrec names vars funs body)
+                     (lp body (fold max max-var vars)))
+                    (_ max-var))))
                (($ $kentry self)
                 (max self max-var))
                (_ max-var))))