From 997399661be0350e12d1b8eb4cad90ce56ed68f2 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Sat, 11 Jul 2026 21:36:30 -0400
Subject: remove non typed args

---
 shared_counter.kpl | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'shared_counter.kpl')

diff --git a/shared_counter.kpl b/shared_counter.kpl
index 0fdf804..01f01bd 100644
--- a/shared_counter.kpl
+++ b/shared_counter.kpl
@@ -3,7 +3,7 @@
 
 counter : %shared 0
 
-inc_dec : ([amount]
+inc_dec : ([I64.amount]
     header : "#BOLD#Thread: %#, #WHITE#Counter:# " `format `thread_id
     body : ^ counter {[c]
         c +: amount
@@ -19,11 +19,13 @@ inc_dec : ([amount]
 inc : inc_dec `bind 1
 dec : inc_dec `bind -1
 
+Inc_Dec_fn `type dec
+
 actions : %const 1_000
 
 batch : %const 100
 
-runner : ([fn]
+runner : ([Inc_Dec_fn.fn]
     total : actions
     @ total {
         `log "#WHITE#Batch: #CYAN#% #MAGENTA#%#\n" `format (fn; total)
-- 
cgit v1.2.3