From b9fce0281cbb53c36d725e0b7a2c7bd9371190ee Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 20 Dec 2010 22:27:08 -0500 Subject: [PATCH] cps tweak Signed-off-by: Jim Pryor --- hints/cps_hint_2.mdwn | 6 +++--- hints/cps_hint_3.mdwn | 9 ++++----- hints/cps_hint_4.mdwn | 6 +++--- 3 files changed, 10 insertions(+), 11 deletions(-) diff --git a/hints/cps_hint_2.mdwn b/hints/cps_hint_2.mdwn index 2cdc49ae..d948a280 100644 --- a/hints/cps_hint_2.mdwn +++ b/hints/cps_hint_2.mdwn @@ -19,10 +19,10 @@ This function is developed in *The Seasoned Schemer* pp. 76-83. It accepts a lis (aux (cdr l)))]))]) (aux lst))))) - (beta '(((a b) ()) (c (d ())))) ; ~~> 'a - (beta '((() (a b) ()) (c (d ())))) ; ~~> 'a + (beta '(((a b) ()) (c (d ())))) ; ~~> 'a + (beta '((() (a b) ()) (c (d ())))) ; ~~> 'a (beta '(() (() (a b) ()) (c (d ())))) ; ~~> 'a - (beta '(() (() ()))) ; no leftmost atom, returns '() + (beta '(() (() ()))) ; no leftmost atom, returns '() This function could also be written like this: diff --git a/hints/cps_hint_3.mdwn b/hints/cps_hint_3.mdwn index afc5beea..fa8b3736 100644 --- a/hints/cps_hint_3.mdwn +++ b/hints/cps_hint_3.mdwn @@ -31,11 +31,10 @@ This function is developed in *The Seasoned Schemer* pp. 84-89. It accepts an at [(eq? lst2 'notfound) lst] [else lst2])))) - (gamma 'a '(((a b) ()) (c (d ())))) ; ~~> '(((b) ()) (c (d ()))) - (gamma 'a '((() (a b) ()) (c (d ())))) ; ~~> '((() (b) ()) (c (d ()))) + (gamma 'a '(((a b) ()) (c (d ())))) ; ~~> '(((b) ()) (c (d ()))) + (gamma 'a '((() (a b) ()) (c (d ())))) ; ~~> '((() (b) ()) (c (d ()))) (gamma 'a '(() (() (a b) ()) (c (d ())))) ; ~~> '(() (() (b) ()) (c (d ()))) - (gamma 'c '((() (a b) ()) (c (d ())))) ; ~~> '((() (a b) ()) ((d ()))) + (gamma 'c '((() (a b) ()) (c (d ())))) ; ~~> '((() (a b) ()) ((d ()))) (gamma 'c '(() (() (a b) ()) (c (d ())))) ; ~~> '(() (() (a b) ()) ((d ()))) - (gamma 'x '((() (a b) ()) (c (d ())))) ; ~~> '((() (a b) ()) (c (d ()))) - (gamma 'x '(() (() (a b) ()) (c (d ())))) ; ~~> '(() (() (a b) ()) (c (d ()))) + (gamma 'x '((() (a b) ()) (c (d ())))) ; ~~> '((() (a b) ()) (c (d ()))) diff --git a/hints/cps_hint_4.mdwn b/hints/cps_hint_4.mdwn index 2dc984d3..72296706 100644 --- a/hints/cps_hint_4.mdwn +++ b/hints/cps_hint_4.mdwn @@ -47,9 +47,9 @@ This function is developed in *The Seasoned Schemer* pp. 165-177. It accepts a l [else #f]) )))) - (delta '(((a b) ()) (c (d ())))) ; ~~> #f - (delta '(((a b) ()) (b (d ())))) ; ~~> #t - (delta '(((a b) ()) (c (d (d))))) ; ~~> #t + (delta '(((a b) ()) (c (d ())))) ; ~~> #f + (delta '(((a b) ()) (b (d ())))) ; ~~> #t + (delta '(((a b) ()) (c (d (d))))) ; ~~> #t (delta '(((a b c) ()) (c (d ())))) ; ~~> #t (delta '(((a b) ()) (c (d ()) c))) ; ~~> #f -- 2.11.0