diff options
| author | eunhhu <[email protected]> | 2026-09-28 05:01:23 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-28 05:01:23 +0100 |
| commit | 15f0114d6a7da0a4f63028db12cac62c5f9cc922 (patch) | |
| tree | 0d896ddd1d2925a716c2a08a706f8a0f74f35c40 /benchmarks | |
| parent | adc4e5724c926cac4ecb8dc3a58a5f9b4d1b9b81 (diff) | |
| download | pure-15f0114d6a7da0a4f63028db12cac62c5f9cc922.tar.gz pure-15f0114d6a7da0a4f63028db12cac62c5f9cc922.zip | |
Give an event locals
LOCAL_LOAD and LOCAL_STORE name one of an event's 64 slots, what it holds
(a number, or an index of a list) and that list: slots start at 0 when an
event begins, are shared by its handlers, the walks in them and the folds
in those, and are never saved nor in the states' namespace. A handler uses
a slot for one thing, so its type is verified as a state's is; views have
no locals (IN_LOCALS: a handler's block, a walk in it, a fold in either;
stores only in a handler and its walks). A fold reading a local still runs
a leaf at a time (one value for every item) and a shaped fold takes one
only on its key's side. The signature table's where widens to 16 bits.
locals checks a handler that sums items into a local in a walk, counts in
a fold the items below it, keeps an index in a local and reads it back,
over 80 events against a model, and five refusals. server_rows' shop now
takes stock through an index local and counts in one.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions
