aboutsummaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
authorGravatar Moon Flower <moonflower@elhenney.local> 2026-10-14 09:02:46 +0330
committerGravatar Moon Flower <moonflower@elhenney.local> 2026-10-14 09:02:46 +0330
commitdb89626d1be6f0c700d11134cac07e57d09315ba (patch)
tree860c51f8468f165087db6c9aa1e15de512096660 /examples
parentbuild: generate everything into build/, keep src/ free of generated files (diff)
docs: record the two ownership gaps that block the bootstrap
`make genome` cannot complete: the second bootstrap stage runs the lifetime checker over the compiler's own source, which reports 8 errors, and mkgenome then reads the diagnostics as an image. the two limits are that an owned value held in a local has no move into another local — every accepted move originates at a call, so the free-then-replace rule only applies when the replacement comes from a call result — and that a local cannot be lent to a global, so redirecting the output stream at a scratch buffer needs a module-level variable. neither limit accepts an unsafe program; both refuse correct ones, so this is a completeness gap rather than a soundness failure. document the affected code, the diagnostics, what was tried and how each attempt failed, and a proposal. add src/tools/bootstrap-check.sh, which rebuilds both bootstrap stages and prints the compiler's diagnostics on its own source instead of the word dump.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions