From: Jim Pryor Date: Wed, 22 Dec 2010 00:05:51 +0000 (-0500) Subject: cps tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=b37134816a0aab587f428301f705777b4ed7f3ee;hp=6d7421674411dbbd0cd48910aecc197f316e6879;ds=sidebyside cps tweaks Signed-off-by: Jim Pryor --- diff --git a/cps_and_continuation_operators.mdwn b/cps_and_continuation_operators.mdwn index 30dcc121..6d98f645 100644 --- a/cps_and_continuation_operators.mdwn +++ b/cps_and_continuation_operators.mdwn @@ -397,7 +397,7 @@ Here is [the answer](/hints/cps_hint_4), but again, first try to figure it out f Delimited control operators =========================== -Here again is the CPS for `callcc`: +Here again is the CPS transform for `callcc`: [callcc (\k. body)] = \outk. (\k. [body] outk) (\v localk. outk v) diff --git a/hints/cps_hint_4.mdwn b/hints/cps_hint_4.mdwn index 09a45af3..028504cd 100644 --- a/hints/cps_hint_4.mdwn +++ b/hints/cps_hint_4.mdwn @@ -52,4 +52,5 @@ This function is developed in *The Seasoned Schemer* pp. 165-177. It accepts a l (delta '(((a b) ()) (c (d (d))))) ; ~~> #t (delta '(((a b c) ()) (c (d ())))) ; ~~> #t (delta '(((a b) ()) (c (d ()) c))) ; ~~> #f + (delta '((() ()) ())) ; ~~> #f