[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] 02/02: Fix prompt tailification
From: |
Andy Wingo |
Subject: |
[Guile-commits] 02/02: Fix prompt tailification |
Date: |
Mon, 10 Jul 2023 05:32:14 -0400 (EDT) |
wingo pushed a commit to branch wip-tailify
in repository guile.
commit a5d66b6d6f5802c734129de23ec926f847ffefe6
Author: Andy Wingo <wingo@pobox.com>
AuthorDate: Mon Jul 10 11:28:07 2023 +0200
Fix prompt tailification
* 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.
---
module/language/cps/hoot/tailify.scm | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/module/language/cps/hoot/tailify.scm
b/module/language/cps/hoot/tailify.scm
index f45e66e2a..6888019ed 100644
--- a/module/language/cps/hoot/tailify.scm
+++ b/module/language/cps/hoot/tailify.scm
@@ -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,