wingo pushed a commit to branch wip-tailify
in repository guile.
commit 6a0c1c4f1ccf6f046a3c7d6997e0dec41ce1a3f6
Author: Andy Wingo <[email protected]>
AuthorDate: Mon May 15 11:09:45 2023 +0200
Fix bug verifying $calli instructions
* module/language/cps/verify.scm (check-valid-var-uses): Return the
first-order set.
---
module/language/cps/verify.scm | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/module/language/cps/verify.scm b/module/language/cps/verify.scm
index e9c74f592..97619d63a 100644
--- a/module/language/cps/verify.scm
+++ b/module/language/cps/verify.scm
@@ -176,7 +176,8 @@ definitions that are available at LABEL."
(visit-first-order kfun))
(($ $calli args callee)
(for-each check-use args)
- (check-use callee))
+ (check-use callee)
+ first-order)
(($ $primcall name param args)
(for-each check-use args)
first-order)))
@@ -216,7 +217,8 @@ definitions that are available at LABEL."
(visit-first-order kfun))
(($ $calli args callee)
(for-each check-use args)
- (check-use callee))
+ (check-use callee)
+ first-order)
(($ $primcall name param args)
(for-each check-use args)
first-order)))
