diff options
| author | eunhhu <[email protected]> | 2026-09-25 15:05:58 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-25 15:05:58 +0100 |
| commit | 91aa0afcd34cff345f1f7293d82fec7d00082d8b (patch) | |
| tree | d96b3c7c20f756562e596ded34acf35a95a57327 /tests/oracle/faults.aup | |
| parent | f35ded451b1da147613ece18e2b334d0966b24f1 (diff) | |
| download | aup-91aa0afcd34cff345f1f7293d82fec7d00082d8b.tar.gz aup-91aa0afcd34cff345f1f7293d82fec7d00082d8b.zip | |
Add conditional expressions and table views
if c { a } else { b }, with else-if chains, is an expression anywhere a
value goes. Only the chosen branch runs, every branch gives the same type,
and nesting that would pass Pure's limit of 8 value-carrying joins is a
compile error.
view name = each row in list { column = value ... } declares a table with
a row per item; columns read their row as an index of the list. An index
now reads and writes its item's fields directly (at.title, at.done = 1),
so 'position' cannot name a record field.
examples/tasks.aup gains conditional views and a board table and still
matches its reference model; a new check confirms the unchosen branch is
never computed.
Diffstat (limited to 'tests/oracle/faults.aup')
0 files changed, 0 insertions, 0 deletions
