From 39e5e4fbb83188eafde2c7c5822b33ff451fadd8 Mon Sep 17 00:00:00 2001 From: Leo Tenenbaum Date: Wed, 4 Mar 2020 12:07:27 -0500 Subject: slightly improved infer error message; still needs work --- std/arr.toc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'std') diff --git a/std/arr.toc b/std/arr.toc index 779de48..c973777 100644 --- a/std/arr.toc +++ b/std/arr.toc @@ -20,7 +20,7 @@ resv ::= fn(t ::=, a : &Arr(t), n: int) { add ::= fn(t ::=, a : &Arr(t), x : t) { if a.data.len >= a.cap { - resv(&a, a.cap * 2 + 2); + resv(a, a.cap * 2 + 2); } a.data.len += 1; a.data[a.data.len-1] = x; -- cgit v1.2.3