From e772687a583966b882912904b9a2cfe365e1bb17 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 22 May 2009 19:08:12 +0000 Subject: [PATCH] Add unit tests for andmap of ..., Bot return to MV context svn: r14929 --- collects/tests/typed-scheme/unit-tests/typecheck-tests.ss | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index 1afd30efe4..848b2f8778 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -719,6 +719,11 @@ [tc-e (apply values (list 1 2 3)) #:ret (ret (list -Integer -Integer -Integer))] [tc-e (ann (if #t 3 "foo") Integer) -Integer] + + [tc-e/t (plambda: (a ...) ([x : Number] . [y : a ... a]) + (andmap null? (map list y))) + (-polydots (a) ((list -Number) (a a) . ->... . -Boolean))] + [tc-e (ann (error 'foo) (values Number Number)) #:ret (ret (list -Number -Number))] #;[tc-err (let: ([fact : (Number -> Number) (lambda: ([n : Number]) (if (zero? n) 1 (* n (fact (- n 1)))))]) (fact 20))]