From: Jim Pryor Date: Tue, 21 Dec 2010 03:27:08 +0000 (-0500) Subject: cps tweak X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=b9fce0281cbb53c36d725e0b7a2c7bd9371190ee cps tweak Signed-off-by: Jim Pryor --- 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