From b3223cab41d2cb52d952be1ce70ed0d3876a85a3 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 19 Jun 2008 12:41:06 -0400 Subject: [PATCH] Fix tests, add filter tests. original commit: 1af866586ec8e5497e4d4564ac1b129f4c0a02e4 --- .../tests/typed-scheme/unit-tests/typecheck-tests.ss | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index a3714212..eb1ca5ca 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -566,8 +566,8 @@ ;; instantiating non-dotted terms [tc-e (inst (plambda: (a) ([x : a]) x) Integer) (-Integer . -> . -Integer)] - [tc-e (inst (plambda: (a) [x : a *] (apply + x)) Integer) - ((list) -Integer . ->* . -Integer)] + [tc-e (inst (plambda: (a) [x : a *] (apply list x)) Integer) + ((list) -Integer . ->* . (-lst -Integer))] ;; instantiating dotted terms [tc-e (inst (plambda: (a ...) [xs : a ... a] 3) Integer Boolean Integer) @@ -602,6 +602,12 @@ (add1 x) 12))] + [tc-e (filter integer? (list 1 2 3 'foo)) + (-lst -Integer)] + + [tc-e (filter even? (filter integer? (list 1 2 3 'foo))) + (-lst -Integer)] + #;[tc-err (let: ([fact : (Number -> Number) (lambda: ([n : Number]) (if (zero? n) 1 (* n (fact (- n 1)))))]) (fact 20))]