diff options
author | Andy Wingo <wingo@pobox.com> | 2021-11-15 10:39:04 +0100 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2021-11-15 15:32:54 +0100 |
commit | 5c76381625e3b5e7b25be0b97b42b487627e6478 (patch) | |
tree | 5040fb3165fffa43fa043010777b0f808e91cf80 /module/system/base/optimize.scm | |
parent | 4fcd643adb6e9c21e0ad3d22a9acf812b2228798 (diff) | |
download | guile-5c76381625e3b5e7b25be0b97b42b487627e6478.tar.gz |
Allow callk to continue to kargs
* module/language/cps/verify.scm (check-arities): If a callk continues
to kargs, the caller knows the number of return values that the callee
provides and no number-of-values check is needed.
* module/language/cps/contification.scm (apply-contification): Allow
contification of known-return-values calls.
* module/language/cps/reify-primitives.scm (uniquify-receive)
(reify-primitives): No need for uniquify-receive any more as receive
shuffles are attached to the call, not the continuation.
* module/language/cps/compile-bytecode.scm (compile-function): Add kargs
case.
Diffstat (limited to 'module/system/base/optimize.scm')
0 files changed, 0 insertions, 0 deletions