diff options
| author | 2026-10-14 09:02:46 +0330 | |
|---|---|---|
| committer | 2026-10-14 09:02:46 +0330 | |
| commit | db89626d1be6f0c700d11134cac07e57d09315ba (patch) | |
| tree | 860c51f8468f165087db6c9aa1e15de512096660 /editors | |
| parent | build: 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 'editors')
0 files changed, 0 insertions, 0 deletions
