From e81e3049b0ab86caacdaab53b2adf26622eb161b Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 14 May 2009 18:57:23 +0000 Subject: [PATCH] add test of `apply values' svn: r14816 original commit: af623cbdc7a021caefe909460df7ec59212e138f --- collects/tests/typed-scheme/unit-tests/typecheck-tests.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index 60b3b382..0033156b 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -716,7 +716,7 @@ [tc-e/t (ann (lambda (x) x) (All (a) (a -> a))) (-poly (a) (a . -> . a))] - + [tc-e (apply values (list 1 2 3)) #:ret (ret (list -Integer -Integer -Integer))] #;[tc-err (let: ([fact : (Number -> Number) (lambda: ([n : Number]) (if (zero? n) 1 (* n (fact (- n 1)))))]) (fact 20))]