From 15a844f9f34e8d879786a6c38402287503fe2b72 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 13 May 2010 13:36:54 -0400 Subject: [PATCH] fix more tests original commit: a8931163918c4996a18b4cff2c69d9685fd3ef12 --- collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt index 1a2d4c50..c17cd38e 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt @@ -215,8 +215,8 @@ -Pos] [tc-e/t (lambda: ([x : Number] . [y : Number *]) (car y)) (->* (list N) N N)] [tc-e ((lambda: ([x : Number] . [y : Number *]) (car y)) 3) N] - [tc-e/t ((lambda: ([x : Number] . [y : Number *]) (car y)) 3 4 5) N] - [tc-e/t ((lambda: ([x : Number] . [y : Number *]) (car y)) 3 4) N] + [tc-e ((lambda: ([x : Number] . [y : Number *]) (car y)) 3 4 5) N] + [tc-e ((lambda: ([x : Number] . [y : Number *]) (car y)) 3 4) N] [tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '(4)) N] [tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '(4 6 7)) N] [tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '()) N] @@ -657,7 +657,8 @@ [tc-e/t (plambda: (z x y ...) () (inst map z x y ... y)) (-polydots (z x y) (t:-> (cl->* ((t:-> x z) (-pair x (-lst x)) . t:-> . (-pair z (-lst z))) - ((list ((list x) (y y) . ->... . z) (-lst x)) ((-lst y) y) . ->... . (-lst z)))))] + ((list ((list x) (y y) . ->... . z) (-lst x)) ((-lst y) y) . ->... . (-lst z))) + : (-FS (-not-filter (-val #f) #'map) (-filter (-val #f) #'map))))] ;; error tests [tc-err (#%variable-reference number?)]