diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-17 14:25:11 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-17 14:25:11 -0400 |
| commit | e5f1630c5ab4c942d3287f92cbb71f34267dc747 (patch) | |
| tree | 3d18dcf15ba87929a5a66c16269bb1c2be4a48d0 | |
| parent | 7d8de55c79834731c5346303e29cb39c30f55d35 (diff) | |
qualifiers as %
| -rw-r--r-- | shared_counter.kpl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/shared_counter.kpl b/shared_counter.kpl index 0be8c24..d5d9efa 100644 --- a/shared_counter.kpl +++ b/shared_counter.kpl @@ -1,10 +1,10 @@ // Notice how counter can only be modified as read as [c] -counter : `shared 0 +counter : %shared 0 -inc_dec :([amount] - header : `const `format "WHITE#Counter:# " +inc_dec : ([amount] + header : %const `format "WHITE#Counter:# " body : ^ counter {[c] c +: amount ? { @@ -19,9 +19,9 @@ inc_dec :([amount] inc : inc_dec `bind 1 dec : inc_dec `bind -1 -actions : `const 1_000 +actions : %const 1_000 -batch : `const 100 +batch : %const 100 runner : ([fn] total : actions |