Add $branch expression type

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

diff --git a/module/language/cps/verify.scm b/module/language/cps/verify.scm
index b965427..4745032 100644 (file)
--- a/module/language/cps/verify.scm
+++ b/module/language/cps/verify.scm
@@ -158,6 +158,12 @@
        ;; the reference.
        (check-var proc v-env)
        (for-each (cut check-var <> v-env) arg))
+      (($ $branch kt ($ $primcall (? symbol? name) (arg ...)))
+       (check-var kt k-env)
+       (for-each (cut check-var <> v-env) arg))
+      (($ $branch kt ($ $values (arg ...)))
+       (check-var kt k-env)
+       (for-each (cut check-var <> v-env) arg))
       (($ $primcall (? symbol? name) (arg ...))
        (for-each (cut check-var <> v-env) arg))
       (($ $values (arg ...))