suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix identifier issues in fold-left/fold-right.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-18 17:36:12 -04:00
parent b5bfb18961
commit 8a66c759dc
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/tests/typed-scheme/succeed/fold-left.ss
View File

@ -2,18 +2,18 @@
(: fold-left (All (c a b ...) ((c a b ... b -> c) c (Listof a) (Listof b) ... b -> c))) (: fold-left (All (c a b ...) ((c a b ... b -> c) c (Listof a) (Listof b) ... b -> c)))
(define (fold-left f c as . bss) (define (fold-left f c as . bss)
(if (or (null? a) (if (or (null? as)
(ormap null? bss)) (ormap null? bss))
c c
(apply fold-left f (apply fold-left f
(apply f c (car as) (map car bss)) (apply f c (car as) (map car bss))
(cdr as) (map cdr bs)))) (cdr as) (map cdr bss))))
(: fold-right (All (c a b ...) ((c a b ... b -> c) c (Listof a) (Listof b) ... b -> c))) (: fold-right (All (c a b ...) ((c a b ... b -> c) c (Listof a) (Listof b) ... b -> c)))
(define (fold-right f c as . bss) (define (fold-right f c as . bss)
(if (or (null? a) (if (or (null? as)
(ormap null? bss)) (ormap null? bss))
c c
(apply f (apply f
(apply fold-left f c (cdr as) (map cdr bs)) (apply fold-left f c (cdr as) (map cdr bss))
(car as) (map car bss)))) (car as) (map car bss))))