diff --git a/collects/tests/typed-scheme/succeed/fold-left.ss b/collects/tests/typed-scheme/succeed/fold-left.ss index 5b8c6e7303..8b035175f9 100644 --- a/collects/tests/typed-scheme/succeed/fold-left.ss +++ b/collects/tests/typed-scheme/succeed/fold-left.ss @@ -2,18 +2,18 @@ (: 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) - (if (or (null? a) + (if (or (null? as) (ormap null? bss)) c (apply fold-left f (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))) (define (fold-right f c as . bss) - (if (or (null? a) + (if (or (null? as) (ormap null? bss)) c (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)))) \ No newline at end of file