Make comptime failures loud - #570

Draft

mbenke wants to merge 13 commits into

mainfrom

comptime-outcome-check

Commits on Aug 12, 2026

Report fuel exhaustion from a sticky flag, not the remaining budget
mbenke
committed
909e2e0

Commits on Aug 13, 2026

Require comptime bindings to be values where evaluation is done
mbenke
committed
feed71a
Reject comptime annotations that survive partial evaluation
mbenke
committed
0cdffa4
Reject assignment to a comptime binding
mbenke
committed
0d6d3ef
Report fuel exhaustion as a diagnostic, not a bare putStrLn
mbenke
committed
c71e3e3
Check comptime outcomes against values only
mbenke
committed
804da4a
Pin the comptime rejection messages in file tests
mbenke
committed
69a0bbb
Substitute erased parameters into clone bodies
mbenke
committed
303cf21
Keep residual statements from being inlined away
mbenke
committed
4acaa8a
Bring the comptime design note up to date with the implementation
mbenke
committed
f58455a
Correct the comptime-only-type gap in the design doc
mbenke
committed
e384d82
Describe the purity notion the code actually has
mbenke
committed
2f43e47

Commits on Aug 20, 2026

fix formatting
mbenke
committed
47bcf58