From 2a935208e9ff3dec02f5051b1d33731ab79aa339 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 17 Jun 2008 16:24:30 -0400 Subject: [PATCH] New tests original commit: 3f180f88daf777504d1d210cb9115118cab629b8 --- collects/tests/typed-scheme/unit-tests/typecheck-tests.ss | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index 139956cc..11047522 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -547,6 +547,9 @@ [tc-err (apply append (list 1) (list 2) (list 3) (list (list 1) "foo"))] [tc-e (apply append (list 1) (list 2) (list 3) (list (list 1) (list 1))) (-lst -Integer)] [tc-e (apply append (list 1) (list 2) (list 3) (list (list 1) (list "foo"))) (-lst (Un -String -Integer))] + [tc-err (plambda: (b ...) [y : b ... b] (apply append (map list y)))] + [tc-e (plambda: (b ...) [y : (Listof Integer) ... b] (apply append y)) + (-polydots (b) (->... (list) ((-lst -Integer) b) (-lst -Integer)))] ;; error tests [tc-err (#%variable-reference number?)]