named signed and unsigned types

2 files changed, 7 insertions, 7 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 }
     }
     ? {
diff --git a/fib.kpl b/fib.kpl
index cb6b5ef..8f003ee 100644
--- a/fib.kpl
+++ b/fib.kpl
@@ -1,19 +1,19 @@
 
 /*
     Fibonacci sequence
-    n can be any signed or unsigned integer type
+    n can be any numeric type
 */
 
 `export fib : Fn[n] $ (
     t : `type n
     ? {
-        t = Int[Any; .signed; Any] {
+        |(t = Int_signed; t = Float) {
             ? n <= 0 { `return 0 }
         }
-        t = Int[Any; .unsigned; Any] {
+        t = Int_unsigned {
             ? n = 0 { `return 0 }
         }
-        { `panic "n must be a signed or unsigned Int" }
+        { `panic "invalid type for n" }
     }
     ? {
         n < 3 { 2 }