From 4a8331d129c99d617f804518ceb6b022086dc927 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Jul 2008 15:06:21 -0400 Subject: [PATCH] More failure tests. original commit: 477cba1b0bdf8595b2c434fe731d29a1d5f5abda --- collects/tests/typed-scheme/fail/values-dots.ss | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/fail/values-dots.ss b/collects/tests/typed-scheme/fail/values-dots.ss index 148a2815..6c08fff5 100644 --- a/collects/tests/typed-scheme/fail/values-dots.ss +++ b/collects/tests/typed-scheme/fail/values-dots.ss @@ -1,5 +1,5 @@ #; -(exn-pred 2) +(exn-pred 7) #lang typed-scheme (require typed-scheme/private/extra-procs) @@ -14,3 +14,12 @@ (map-with-funcs (lambda: ([x : Integer] [y : Integer] . [z : Integer *]) (+ x y))) + +(map-with-funcs (lambda: ([x : Integer] [y : Integer]) + (+ x y))) + +(map-with-funcs + - * / string-append) + +((map-with-funcs + - * /) 1 2 3) +((map-with-funcs + - * /) 1 2 3 4 5) +((map-with-funcs + - * /) 1 2 3 "foo")