mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-01 12:20:26 +02:00
Code Activity

Fix verify.scm for call-thunk/no-inline

Browse source 
* module/language/cps/verify.scm (check-arities): Allow
  call-thunk/no-inline to continue to $kreceive.
This commit is contained in:
Andy Wingo 2018-01-05 19:50:12 +01:00
parent fa4cb2182d
commit d4502dba07
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
module/language/cps/verify.scm
View file

@ -282,7 +282,11 @@ definitions that are available at LABEL."
(assert-kreceive-or-ktail)) (assert-kreceive-or-ktail))
(($ $primcall name param args) (($ $primcall name param args)
(match cont (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) (define (check-term term)
(match term (match term
(($ $continue k src exp) (($ $continue k src exp)