diff options
author | Andy Wingo <wingo@pobox.com> | 2018-01-03 18:25:42 +0100 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2018-01-03 21:25:55 +0100 |
commit | ad55ee83c341dc54c3f38bb39004973d0ebbb4ab (patch) | |
tree | d77a529ef71eb44189532617d379d889da343870 /module/language/cps/split-rec.scm | |
parent | de5c81b1d14e29799e7ba957f5db1db1231207e2 (diff) | |
download | guile-ad55ee83c341dc54c3f38bb39004973d0ebbb4ab.tar.gz |
$throw is a new kind of CPS term
* module/language/cps.scm ($throw): New term type that doesn't have a
continuation. Adapt all callers. Remove now-unneeded
"prune-bailouts" pass.
Diffstat (limited to 'module/language/cps/split-rec.scm')
-rw-r--r-- | module/language/cps/split-rec.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/module/language/cps/split-rec.scm b/module/language/cps/split-rec.scm index a38a889d8..d58db1652 100644 --- a/module/language/cps/split-rec.scm +++ b/module/language/cps/split-rec.scm @@ -94,7 +94,9 @@ references." (($ $branch kf kt src op param args) (add-uses args uses)) (($ $prompt k kh src escape? tag) - (add-use tag uses))))) + (add-use tag uses)) + (($ $throw src op param args) + (add-uses args uses))))) (($ $kfun src meta self) (values (add-def self defs) uses)) (_ (values defs uses)))) |