From 8a66c759dc293fb822d89c99b8ec56dd3289c80d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 18 Jun 2008 17:36:12 -0400 Subject: [PATCH] Fix identifier issues in fold-left/fold-right. --- collects/tests/typed-scheme/succeed/fold-left.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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