slightly improved infer error message; still needs work

1 files changed, 1 insertions, 11 deletions

diff --git a/test.toc b/test.toc
index 1b02eed..eb51a96 100644
--- a/test.toc
+++ b/test.toc
@@ -1,8 +1,7 @@
-/*
 #include "std/io.toc", io;
 #include "std/arr.toc", arr;
 
-arr_sum ::= fn(n::=, t::=, a:arr.Arr(t)) t {
+arr_sum ::= fn(t::=, a:arr.Arr(t)) t {
 	total := 0 as t;
 	for x := a.data {
 		total += x;
@@ -21,12 +20,3 @@ main ::= fn() {
 	 io.puti(arr.len(a));
 	 io.puti(arr_sum(a));
 };
-*/
-
-a ::= nms {
-  x: int;
-};
-
-main ::= fn() {
-	 a.x;
-};