diff --git a/collects/tests/typed-scheme/succeed/lots-o-bugs.ss b/collects/tests/typed-scheme/succeed/lots-o-bugs.ss index 21e5dd9cdd..98e4711c9a 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