From b37134816a0aab587f428301f705777b4ed7f3ee Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 21 Dec 2010 19:05:51 -0500 Subject: [PATCH 1/1] cps tweaks Signed-off-by: Jim Pryor --- cps_and_continuation_operators.mdwn | 2 +- hints/cps_hint_4.mdwn | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) 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 -- 2.11.0