From 133edb2824130873e0e590ebec603d0b6f9da6a9 Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Mon, 18 Aug 2025 19:07:59 +0300
Subject: fix: make case type checking work according to updated tests

---
 stdlib.slip | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stdlib.slip')

diff --git a/stdlib.slip b/stdlib.slip
index e73674e..107bb1f 100644
--- a/stdlib.slip
+++ b/stdlib.slip
@@ -22,8 +22,8 @@
 
 
 (let sum (fix
-	(fn sum' ((Int ...) -> Int) ((Int ...) -> Int)
-		(fn vec (Int ...) Int
+	(fn sum' ((Vector (Int ...)) -> Int) ((Vector (Int ...)) -> Int)
+		(fn vec (Vector (Int ...)) Int
 			(case vec
 				((h ..t) (+ h (sum' t)))
 				(_ 0))
-- 
cgit v1.2.3