mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-29 19:30:36 +02:00
Code Activity

Fix prompt tailification

Browse source 
* module/language/cps/hoot/tailify.scm (tailify-tail): Fix control flow
when pushing a prompt.
(compute-tails): Prompt handlers are in the initial split set.
This commit is contained in:
Andy Wingo 2023-07-10 11:28:07 +02:00
parent 528482042d
commit a5d66b6d6f
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
module/language/cps/hoot/tailify.scm
View file

@ -279,7 +279,7 @@ be rewritten to continue to the tail's ktail."
((rename-var tag) handler)))))
(letk kcode ($kargs () ()
($continue kpush src ($code (intmap-ref entries kh)))))
(build-term ($continue kpush src
(build-term ($continue kcode src
($primcall 'save reprs vars)))))))
(($ $throw src op param args)
(with-cps cps
@ -524,6 +524,8 @@ body, as an intset."
(match (intmap-ref cps k)
(($ $ktail) splits)
((or ($ $kargs) ($ $kreceive)) (intmap-add splits k k))))
(($ $kargs names vars ($ $prompt k kh src escape? tag))
(intmap-add splits kh kh))
(_
splits)))
;; Then we build tails by propagating splits forward in the CFG,