[Guile-commits] 01/25: Fix verify.scm for call-thunk/no-inline

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit d4502dba076a4567cb8f28858877aae06e2e3da2
Author: Andy Wingo <address@hidden>
Date:   Fri Jan 5 19:50:12 2018 +0100

    Fix verify.scm for call-thunk/no-inline
    
    * module/language/cps/verify.scm (check-arities): Allow
      call-thunk/no-inline to continue to $kreceive.
---
 module/language/cps/verify.scm | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/module/language/cps/verify.scm b/module/language/cps/verify.scm
index e99afb8..938c37a 100644
--- a/module/language/cps/verify.scm
+++ b/module/language/cps/verify.scm
@@ -282,7 +282,11 @@ definitions that are available at LABEL."
        (assert-kreceive-or-ktail))
       (($ $primcall name param args)
        (match cont
-         (($ $kargs) #t)))))
+         (($ $kargs) #t)
+         (($ $kreceive)
+          (match exp
+            (($ $primcall 'call-thunk/no-inline #f (thunk)) #t)
+            (_ (cont (error "bad continuation" exp cont)))))))))
   (define (check-term term)
     (match term
       (($ $continue k src exp)