From 385809eca896ee35cac60caab0cdb9ebdd24f151 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 18 Jun 2008 17:22:16 -0400 Subject: [PATCH] Tests in here that now succeed original commit: b5bfb189610fed971b4a37f5a4191d72dc66548e --- collects/tests/typed-scheme/succeed/lots-o-bugs.ss | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/collects/tests/typed-scheme/succeed/lots-o-bugs.ss b/collects/tests/typed-scheme/succeed/lots-o-bugs.ss index 21e5dd9c..98e4711c 100644 --- a/collects/tests/typed-scheme/succeed/lots-o-bugs.ss +++ b/collects/tests/typed-scheme/succeed/lots-o-bugs.ss @@ -1,23 +1,21 @@ #lang typed-scheme ;; (All (a ...) ( -> (a ... a -> Integer))) -#; + (plambda: (a ...) () (lambda: [ys : a ... a] 3)) (define x (plambda: (a ...) () (lambda: [ys : a ... a] 3))) -#;#; + (: y (All (a ...) ( -> (a ... a -> Integer)))) (define y (plambda: (a ...) () (lambda: [ys : a ... a] 3))) -#;#; + (: z (All (a ...) ( -> (a ... a -> Integer)))) (define z (lambda () (lambda ys 3))) -#; -((plambda: (a ...) () (lambda: [ys : a ... a] 3))) +#;((plambda: (a ...) () (lambda: [ys : a ... a] 3))) -#; -((plambda: (a ...) [xs : a ... a] (lambda: [ys : a ... a] 3)) - 1 2 3) \ No newline at end of file +#;((plambda: (a ...) [xs : a ... a] (lambda: [ys : a ... a] 3)) + 1 2 3 "foo") \ No newline at end of file