aboutsummaryrefslogtreecommitdiffstats
path: root/prototypes/workbench/evaluation.zig
diff options
context:
space:
mode:
authoreunhhu <[email protected]>2026-09-25 15:00:27 +0100
committereunhhu <[email protected]>2026-09-25 15:00:27 +0100
commit82f685e5583d3edc4e5d9d327e9925705ce51b1d (patch)
tree85b0889aa1152bb79b3e16c2711da83bb42d8402 /prototypes/workbench/evaluation.zig
parent50a271cc241fb9fcdb196d45ba113f74cb318b47 (diff)
downloadpure-82f685e5583d3edc4e5d9d327e9925705ce51b1d.tar.gz
pure-82f685e5583d3edc4e5d9d327e9925705ce51b1d.zip
Add conditional joins and table views to Pure modules
Module format v5 lets a value cross a join: the verifier records the stack each branch brings to its target and requires every path to agree on height, types and owners, with at most 8 such joins ahead. Branches are now allowed in views, so a view can be a conditional expression. A table view has one row per item of a list. Its columns are number or text views evaluated for one row at a time and may read that row (ROW). Hosts compute only the cells they show through pure_app_rows, pure_app_cell and pure_app_cell_text. Column names are scoped to their table. The view limit rises to 64, columns included. pure-run prints a table view as an array of row objects.
Diffstat (limited to 'prototypes/workbench/evaluation.zig')
0 files changed, 0 insertions, 0 deletions