diff options
| author | eunhhu <[email protected]> | 2026-09-29 18:04:10 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-29 18:04:10 +0100 |
| commit | e710b93588782135365f01bb8351edb3bf4f95ac (patch) | |
| tree | 9e4b810ad77761693dc8416eec5eb1bf55139194 /prototypes/workbench/compiler.test.mjs | |
| parent | 685cafa8f976fdd94168cfc933ad5389f8b4c617 (diff) | |
| download | pure-e710b93588782135365f01bb8351edb3bf4f95ac.tar.gz pure-e710b93588782135365f01bb8351edb3bf4f95ac.zip | |
Refuse a module whose output names its fields otherwise while sends wait
Replacing a module, or starting one over a store, kept an output's
waiting sends when the module had the output with as many fields of the
same types. Their names were not compared, and the stored links kept the
types alone: an output whose two numbers swapped places read debit 10,
credit 20 as credit 10, debit 20, replaced and started again (review
004, F3). A send's bytes mean its fields' names and types in order; now
both are compared, in memory and in the store, whose links (PLK4) keep
each field's name. Links kept before (PLK3) have the types alone, as
before; the next save writes PLK4.
test-module's output_meaning: the swapped module is refused, replacing
and starting, while a send waits; trimmed, it replaces and its sends go
on; and the store then refuses the module before.
Diffstat (limited to 'prototypes/workbench/compiler.test.mjs')
0 files changed, 0 insertions, 0 deletions
