cps tweak
authorJim Pryor <profjim@jimpryor.net>
Tue, 21 Dec 2010 03:27:08 +0000 (22:27 -0500)
committerJim Pryor <profjim@jimpryor.net>
Tue, 21 Dec 2010 03:27:08 +0000 (22:27 -0500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
hints/cps_hint_2.mdwn
hints/cps_hint_3.mdwn
hints/cps_hint_4.mdwn

index 2cdc49a..d948a28 100644 (file)
@@ -19,10 +19,10 @@ This function is developed in *The Seasoned Schemer* pp. 76-83. It accepts a lis
                                        (aux (cdr l)))]))])
                (aux lst)))))
        
                                        (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 '(() (() (a b) ()) (c (d ())))) ; ~~> 'a
-       (beta '(() (() ()))) ; no leftmost atom, returns '()
+       (beta '(() (() ())))                  ; no leftmost atom, returns '()
 
 This function could also be written like this:
 
 
 This function could also be written like this:
 
index afc5bee..fa8b373 100644 (file)
@@ -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]))))
        
                [(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 '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 '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 ())))
 
 
index 2dc984d..7229670 100644 (file)
@@ -47,9 +47,9 @@ This function is developed in *The Seasoned Schemer* pp. 165-177. It accepts a l
                  [else #f])
                ))))
        
                  [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
 
        (delta '(((a b c) ()) (c (d ())))) ; ~~> #t
        (delta '(((a b) ()) (c (d ()) c))) ; ~~> #f