named signed and unsigned types

1 files changed, 3 insertions, 3 deletions

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 }
     }
     ? {