From d4502dba076a4567cb8f28858877aae06e2e3da2 Mon Sep 17 00:00:00 2001
From: Andy Wingo <wingo@pobox.com>
Date: Fri, 5 Jan 2018 19:50:12 +0100
Subject: [PATCH] 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 e99afb88d..938c37a52 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)