diff options
| author | eunhhu <[email protected]> | 2026-10-18 19:30:16 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-18 19:30:16 +0100 |
| commit | 26658fea927aa87e861c936b2d7aa4163d38bdb4 (patch) | |
| tree | 860799d514d6705bc4d0d11415ade1eda7dcb08a /examples/bounded-editor.aup | |
| parent | 8709c7fdb9d18e30e6bb776f536aa230389fa527 (diff) | |
| download | aup-26658fea927aa87e861c936b2d7aa4163d38bdb4.tar.gz aup-26658fea927aa87e861c936b2d7aa4163d38bdb4.zip | |
Module format v7 (Pure 027's 4b-2): keyed documents gone from the language: no bytes by key, message by key, name[key] or .replace(first .. last, value), the opcodes DOC, DOC_SIZE and REPLACE (those after them moved up), the header 38 bytes; examples/editor.aup and bounded-editor.aup gone (examples/documents.aup does their work in a keyed list), and with them the parity with the earlier editor (documents_model checks the new one); diagnostics on documents rewritten for plain messages or gone (304); a module's records counted at their v7 place; a field changed by '=' said so where a call was written
Diffstat (limited to 'examples/bounded-editor.aup')
| -rw-r--r-- | examples/bounded-editor.aup | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/examples/bounded-editor.aup b/examples/bounded-editor.aup deleted file mode 100644 index d8d1d0d..0000000 --- a/examples/bounded-editor.aup +++ /dev/null @@ -1,20 +0,0 @@ -# The same editor with an authored size policy: an edit whose result would -# exceed 8 bytes fails as a whole, and nothing is stored. -state documents: bytes by key - -input show = message by key -input edit = message by key { - start: u32 - remove: u32 - insert: bytes -} - -on show { - reply documents[key] -} - -on edit { - documents[key].replace(edit.start .. edit.start + edit.remove, edit.insert) - require documents[key].bytes <= 8 - reply edit.insert -} |
