From 54eb4cc314dc31b7afdffcf5a1e00d70e02721fd Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 12 May 2009 21:50:16 +0000 Subject: [PATCH] formatting svn: r14791 --- collects/tests/typed-scheme/unit-tests/typecheck-tests.ss | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index 5def5fe1db..12a14ae385 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -679,9 +679,9 @@ 3 (list #\c) (map list (map list as))))] [tc-e/t (plambda: (a ...) [as : a ... a] - (apply fold-left (lambda: ([c : Integer] [a : Char] . [xs : a ... a]) c) - 3 (list #\c) (map list as))) - (-polydots (a) ((list) (a a) . ->... . -Integer))] + (apply fold-left (lambda: ([c : Integer] [a : Char] . [xs : a ... a]) c) + 3 (list #\c) (map list as))) + (-polydots (a) ((list) (a a) . ->... . -Integer))] ;; First is same as second, but with map explicitly instantiated. [tc-e/t (plambda: (a ...) [ys : (a ... a -> Number) *]