From c96f0bf7386081d21b00af4fa7fcf73ac8d79575 Mon Sep 17 00:00:00 2001 From: Patrick Walton Date: Mon, 12 Jul 2010 19:39:29 -0700 Subject: Implement the "simple typechecker", which avoids HM inference --- src/test/compile-fail/put-in-fn.rs | 4 ++-- src/test/run-pass/acyclic-unwind.rs | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'src/test') diff --git a/src/test/compile-fail/put-in-fn.rs b/src/test/compile-fail/put-in-fn.rs index bb6363ac..9f704bc3 100644 --- a/src/test/compile-fail/put-in-fn.rs +++ b/src/test/compile-fail/put-in-fn.rs @@ -1,8 +1,8 @@ -// error-pattern: Non-iter function +// error-pattern: iterator function fn f() -> int { put 10; } fn main() { -} \ No newline at end of file +} diff --git a/src/test/run-pass/acyclic-unwind.rs b/src/test/run-pass/acyclic-unwind.rs index 192a01f3..c9ed2ae3 100644 --- a/src/test/run-pass/acyclic-unwind.rs +++ b/src/test/run-pass/acyclic-unwind.rs @@ -5,7 +5,7 @@ io fn f(chan[int] c) type t = tup(int,int,int); // Allocate a box. - let @t x = tup(1,2,3); + let @t x = @tup(1,2,3); // Signal parent that we've allocated a box. c <| 1; -- cgit v1.2.3