From a1ac176dd77ff9acaf62de825c24e3cdbd3bcdaa Mon Sep 17 00:00:00 2001 From: Joel Kronqvist Date: Sun, 17 Aug 2025 13:09:19 +0300 Subject: fix: changed type of (() T) from (T ...) to (Vector (T ...)) this makes the type of the empty vector consistent with the runtime behavior and prevents weirdly typed expressions such as (vector (() Int)) : (Vector (Int ...)). removed an unused import in case.rs and changed a unused pattern variable to an underscore in conversion.rs. --- src/type/conversion.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/type/conversion.rs') diff --git a/src/type/conversion.rs b/src/type/conversion.rs index 1ada0d3..1d14971 100644 --- a/src/type/conversion.rs +++ b/src/type/conversion.rs @@ -109,7 +109,7 @@ impl Type { } }, - (VecOf(a), VecOf(b)) => { + (VecOf(_), VecOf(b)) => { match &**b { VarType(s) => (vecof(vt(s)), ctx), _ => (vt("T"), ctx) -- cgit v1.2.3