X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fcps_hint_3.mdwn;fp=hints%2Fcps_hint_3.mdwn;h=afc5beeafdfbb287bb6748bc7f48bde09d845a18;hp=845f55678b054e02c82c05f18731ec7f85084088;hb=745774e349b41deea78eab9163f64031016224bb;hpb=4fde59e8440a11db16396496648d9b53fe055670 diff --git a/hints/cps_hint_3.mdwn b/hints/cps_hint_3.mdwn index 845f5567..afc5beea 100644 --- a/hints/cps_hint_3.mdwn +++ b/hints/cps_hint_3.mdwn @@ -12,16 +12,17 @@ This function is developed in *The Seasoned Schemer* pp. 84-89. It accepts an at [(null? l) (k 'notfound)] [(eq? (car l) a) (cdr l)] [(atom? (car l)) (cons (car l) (aux (cdr l) k))] - ; when (car l) exists but isn't an atom, we try to remove a from (car l) - ; if we succeed we prepend the result to (cdr l) and stop - [else (let ([car2 (let/cc k2 - ; calling k2 with val will bind car2 to val and continue with the (cond ...) block below - (aux (car l) k2))]) - (cond - ; if a wasn't found in (car l) then prepend (car l) to the result of removing a from (cdr l) - [(eq? car2 'notfound) (cons (car l) (aux (cdr l) k))] - ; else a was found in (car l) - [else (cons car2 (cdr l))]))]))] + [else + ; when (car l) exists but isn't an atom, we try to remove a from (car l) + ; if we succeed we prepend the result to (cdr l) and stop + (let ([car2 (let/cc k2 + ; calling k2 with val will bind car2 to val and continue with the (cond ...) block below + (aux (car l) k2))]) + (cond + ; if a wasn't found in (car l) then prepend (car l) to the result of removing a from (cdr l) + [(eq? car2 'notfound) (cons (car l) (aux (cdr l) k))] + ; else a was found in (car l) + [else (cons car2 (cdr l))]))]))] [lst2 (let/cc k1 ; calling k1 with val will bind lst2 to val and continue with the (cond ...) block below (aux lst k1))])