13 files changed, 31 insertions, 1 deletions
diff --git a/tests/typeerrors/arg.zc b/tests/typeerrors/arg.zc
index bf39e85..954e776 100644
--- a/tests/typeerrors/arg.zc
+++ b/tests/typeerrors/arg.zc
@@ -1,5 +1,8 @@
+namespace;
+include rt;
+
 // expect: type error: argument: expected point*, got int*
 typecheck on;
 struct point { int x, y; };
 int f(point* p) { return p.x; }
-fn main() { int* q = new(int); f(q); free(d*q); return 0; }
+fn main() { int* q = rt.new(int); f(q); rt.free(d*q); return 0; }
diff --git a/tests/typeerrors/arith.zc b/tests/typeerrors/arith.zc
index eda4aec..fada770 100644
--- a/tests/typeerrors/arith.zc
+++ b/tests/typeerrors/arith.zc
@@ -1,3 +1,5 @@
+namespace;
+
 // expect: type error: arithmetic needs numbers, got int*
 typecheck on;
 fn main() { int* p = 0; int x = p * 2; return x; }
diff --git a/tests/typeerrors/assign.zc b/tests/typeerrors/assign.zc
index b83e1a2..bbbf0eb 100644
--- a/tests/typeerrors/assign.zc
+++ b/tests/typeerrors/assign.zc
@@ -1,3 +1,5 @@
+namespace;
+
 // expect: type error: initializer: expected char*, got int
 typecheck on;
 fn main() { char* s = 5; return 0; }
diff --git a/tests/typeerrors/call.zc b/tests/typeerrors/call.zc
index 7b03dbf..f717621 100644
--- a/tests/typeerrors/call.zc
+++ b/tests/typeerrors/call.zc
@@ -1,3 +1,5 @@
+namespace;
+
 // expect: type error: only functions can be called, got int
 typecheck on;
 fn main() { int k = 3; return k(1); }
diff --git a/tests/typeerrors/closure_result_mismatch.zc b/tests/typeerrors/closure_result_mismatch.zc
new file mode 100644
index 0000000..2727d0b
--- /dev/null
+++ b/tests/typeerrors/closure_result_mismatch.zc
@@ -0,0 +1,5 @@
+namespace;
+
+// expect: type error: return value: expected int, got char*
+typecheck on;
+fn main() { let f = fn:int(int x) { return "no"; }; return f(1); }
diff --git a/tests/typeerrors/deref.zc b/tests/typeerrors/deref.zc
index ed030f5..53869cf 100644
--- a/tests/typeerrors/deref.zc
+++ b/tests/typeerrors/deref.zc
@@ -1,3 +1,5 @@
+namespace;
+
 // expect: type error: only pointers can be dereferenced, got int
 typecheck on;
 fn main() { int x = 3; return *x; }
diff --git a/tests/typeerrors/enum_int.zc b/tests/typeerrors/enum_int.zc
index c710d50..0d09ad9 100644
--- a/tests/typeerrors/enum_int.zc
+++ b/tests/typeerrors/enum_int.zc
@@ -1,3 +1,5 @@
+namespace;
+
 // expect: type error: initializer: expected color, got int
 typecheck on;
 enum color { RED, GREEN = 5, BLUE };
diff --git a/tests/typeerrors/enum_other.zc b/tests/typeerrors/enum_other.zc
index 5b27370..ffa36d7 100644
--- a/tests/typeerrors/enum_other.zc
+++ b/tests/typeerrors/enum_other.zc
@@ -1,3 +1,5 @@
+namespace;
+
 // expect: type error: initializer: expected color, got size
 typecheck on;
 enum color { RED, GREEN = 5, BLUE };
diff --git a/tests/typeerrors/field.zc b/tests/typeerrors/field.zc
index ba03697..747b6e3 100644
--- a/tests/typeerrors/field.zc
+++ b/tests/typeerrors/field.zc
@@ -1,3 +1,5 @@
+namespace;
+
 // expect: point has no field z
 struct point { int x, y; };
 fn main() { point p; return p.z; }
diff --git a/tests/typeerrors/generic.zc b/tests/typeerrors/generic.zc
index 04e5381..3e22519 100644
--- a/tests/typeerrors/generic.zc
+++ b/tests/typeerrors/generic.zc
@@ -1,3 +1,5 @@
+namespace;
+
 // expect: type error: argument: expected int, got char*
 typecheck on;
 T same<T>(T a, T b) { return a; }
diff --git a/tests/typeerrors/notstruct.zc b/tests/typeerrors/notstruct.zc
index 0dff6bd..9dc4347 100644
--- a/tests/typeerrors/notstruct.zc
+++ b/tests/typeerrors/notstruct.zc
@@ -1,2 +1,4 @@
+namespace;
+
 // expect: .x: that's a int, not a struct or a pointer to one
 fn main() { int n = 1; return n.x; }
diff --git a/tests/typeerrors/ret.zc b/tests/typeerrors/ret.zc
index d44267e..8ac4edb 100644
--- a/tests/typeerrors/ret.zc
+++ b/tests/typeerrors/ret.zc
@@ -1,3 +1,5 @@
+namespace;
+
 // expect: type error: return value: expected bool, got char*
 typecheck on;
 bool f() { return "no"; }
diff --git a/tests/typeerrors/voidret.zc b/tests/typeerrors/voidret.zc
index 86c9c17..c273308 100644
--- a/tests/typeerrors/voidret.zc
+++ b/tests/typeerrors/voidret.zc
@@ -1,3 +1,5 @@
+namespace;
+
 // expect: type error: return value: expected void, got int
 typecheck on;
 void f() { return 3; }