From 4d9768895a28b5acb9161b2e5f20e6c29ccc9f9c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 4 Aug 2008 18:36:38 +0000 Subject: [PATCH] These tests now pass. svn: r11067 original commit: 4ba93761313ed8f4c863d6fe05fa66b3aa37cf09 --- collects/tests/typed-scheme/succeed/dot-intro.ss | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/succeed/dot-intro.ss b/collects/tests/typed-scheme/succeed/dot-intro.ss index 7afb8c1a..72c1f684 100644 --- a/collects/tests/typed-scheme/succeed/dot-intro.ss +++ b/collects/tests/typed-scheme/succeed/dot-intro.ss @@ -6,4 +6,11 @@ (define y (plambda: (a ...) ([x : Number] . [y : a ... a]) - (ormap null? (map list y)))) \ No newline at end of file + (ormap null? (map list y)))) + + +(plambda: (a ...) ([x : Number] . [y : Number ... a]) + y) + +(plambda: (a ...) ([x : Number] . [y : Number ... a]) + (map add1 y)) \ No newline at end of file