From 64464faf51c07a98049509d79410060edad1d9c3 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 6 Dec 2013 15:13:52 -0500 Subject: [PATCH] Remove unused type variable. --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index 85a0a011aa..6438a24eaa 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -538,8 +538,8 @@ ((list a) (b b) . ->... . c) (-lst a)) ((-lst b) b) . ->... .(-lst c))))] -[for-each (-polydots (c a b) ((list ((list a) (b b) . ->... . Univ) (-lst a)) - ((-lst b) b) . ->... . -Void))] +[for-each (-polydots (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))] #;[fold-right (-polydots (c a b) ((list ((list c a) (b b) . ->... . c) c (-lst a))