diff options
author | Andy Wingo <wingo@pobox.com> | 2013-06-27 12:10:37 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2013-06-27 22:02:43 +0200 |
commit | bc056057c85162b609437e68ec4eb55839682853 (patch) | |
tree | a2988e50387189e248377977d51fb0b195c22ef0 /test-suite/tests/tree-il.test | |
parent | 5da2aae3644a9ff9508db9501c50762f6e19cc97 (diff) | |
download | guile-bc056057c85162b609437e68ec4eb55839682853.tar.gz |
remove @call-with-current-continuation memoizer
* module/ice-9/boot-9.scm (call-with-current-continuation): Change to
primcall call-with-current-continuation.
* libguile/memoize.h:
* libguile/expand.c (scm_sym_atcall_cc): Remove.
* libguile/memoize.c (memoize): Memoize call/cc primcalls to
SCM_M_CONT.
(m_call_cc): Remove.
(unmemoize): Unmemoize to call-with-current-continuation.
* module/language/tree-il/compile-glil.scm (flatten-lambda-case): Update
to call-with-current-continuation without @ prefix, and fix fallback
case.
* module/language/tree-il/primitives.scm (*multiply-valued-primitives*):
(*interesting-primitive-names*): Remove
@call-with-current-continuation.
(call/cc): Expand to call-with-current-continuation.
* test-suite/tests/tree-il.test ("call/cc"): Update to use and expect
call-with-current-continuation primcalls / toplevel refs.
Diffstat (limited to 'test-suite/tests/tree-il.test')
-rw-r--r-- | test-suite/tests/tree-il.test | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test-suite/tests/tree-il.test b/test-suite/tests/tree-il.test index 059cb8261..edcbdc983 100644 --- a/test-suite/tests/tree-il.test +++ b/test-suite/tests/tree-il.test @@ -672,10 +672,10 @@ (with-test-prefix "call/cc" (assert-tree-il->glil - (primcall @call-with-current-continuation (toplevel foo)) + (primcall call-with-current-continuation (toplevel foo)) (program () (std-prelude 0 0 #f) (label _) (toplevel ref foo) (call tail-call/cc 1))) (assert-tree-il->glil - (begin (primcall @call-with-current-continuation (toplevel foo)) (void)) + (begin (primcall call-with-current-continuation (toplevel foo)) (void)) (program () (std-prelude 0 0 #f) (label _) (call new-frame 0) (toplevel ref call-with-current-continuation) (toplevel ref foo) (mv-call 1 ,l1) (call drop 1) (branch br ,l2) (label ,l3) (mv-bind 0 #f) @@ -684,7 +684,7 @@ (and (eq? l1 l3) (eq? l2 l4))) (assert-tree-il->glil (call (toplevel foo) - (call (toplevel @call-with-current-continuation) (toplevel bar))) + (call (toplevel call-with-current-continuation) (toplevel bar))) (program () (std-prelude 0 0 #f) (label _) (toplevel ref foo) (toplevel ref bar) (call call/cc 1) |