From c5f681d73d98c229b15eacd2791b376746d6f2a3 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Thu, 21 May 2026 15:27:27 -0400
Subject: named signed and unsigned types

---
 ack.kpl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'ack.kpl')

diff --git a/ack.kpl b/ack.kpl
index bbd9784..44df478 100644
--- a/ack.kpl
+++ b/ack.kpl
@@ -3,10 +3,10 @@
 
 `export ack : Fn[m; n] $ (
     t : `type m;
-    ? |(t != `type n; t != Int[Any; Any; Any]) {
-        `panic "m and n must be the same type of Int"
+    ? |(t != `type n) {
+        `panic "m and n must be the same type"
     }
-    ? t = Int[Any; .signed; Any] {
+    ? |(t = Int_signed; t = Float) {
         ? |(m < 0; n < 0) { `return 0 }
     }
     ? {
-- 
cgit v1.2.3