From 5f244e7f427e6f6c8cff2368992e41cfec1abccf Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 16 Jun 2008 13:26:15 -0400 Subject: [PATCH] Fix for-each type. Improve ... error messages. original commit: 2ad440310828bc296223e23db3cdee84ad5fce34 --- collects/typed-scheme/private/base-env.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 397aacef..a671316e 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -123,7 +123,7 @@ [procedure? (make-pred-ty (make-Function (list (make-top-arr))))] [map (-polydots (c a b) ((list ((list a) (b b) . ->... . c) (-lst a)) ((-lst b) b) . ->... .(-lst c)))] - [for-each (-polydots (c a b) ((list ((list a) (b b) . ->... . -Void) (-lst a)) + [for-each (-polydots (c a b) ((list ((list a) (b b) . ->... . Univ) (-lst a)) ((-lst b) b) . ->... . -Void))] [fold-left (-polydots (c a b) ((list ((list c a) (b b) . ->... . c) c (-lst a)) ((-lst b) b) . ->... . c))]