1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-30 03:40:34 +02:00
guile/module/language/cps/guile-vm
Andy Wingo 4118f09030 CPS conversion does not introduce "throw"
This keeps things higher level, and is a step towards structured
exceptions in guile.

* module/language/cps/guile-vm/reify-primitives.scm (reify-primitives):
Turn raise-type-error, raise-range-error, and raise-arity-error into
variants of "throw".  Lower raise-exception to a non-tail primcall.

* module/language/tree-il/compile-cps.scm: Instead of residualizing
"throw/value+data" throws, exceptions introduced by CPS lowering are
more structured: raise-type-error, raise-range-error, and
raise-arity-error.  Also, lower raise-exception to an ordinary `$throw`
instead of eagerly producing the non-tail call to a $prim.
2023-11-23 10:25:02 +01:00
..
loop-instrumentation.scm Introduce target-runtime parameter for backend-specific CPS lowering 2023-08-17 14:16:12 +02:00
lower-primcalls.scm Add logand/immediate, ulogand/immediate primcalls 2023-11-20 13:43:47 +01:00
reify-primitives.scm CPS conversion does not introduce "throw" 2023-11-23 10:25:02 +01:00