Repository navigation
cleanup: remove b895374 seeded Some/None/Ok/Err builtins band-aid #138
Description
Part of #128.
Commit b895374 seeded Some/None/Ok/Err as builtins so string.affine "resolves standalone" — a band-aid that entrenches the interpreter-era flat namespace.
Task: once real resolution + namespace model land, remove the seeded builtins and confirm the stdlib still compiles via the proper prelude/module path. Prevents the band-aid from becoming load-bearing.
Activity
docs(stdlib): settle namespace model — real modules + qualified paths (…
fix(resolve): remove b895374 Some/None/Ok/Err seed; resolve imports r…
hyperpolymath commentedon May 18, 2026
Joint-closed with user agreement (2026-05-18). Implemented + merged via PR #193 (#138) and PR #194 (#136/#137); independently verified locally on
main:dune runtest= 253 tests green, including STAGE-A AOT smoke (#136) 19/19 stdlib files and STAGE-A multi-module integration (#137). Refs #128 (epic checkboxes ticked).docs(history): mark STDLIB-AOT-TRIAGE closed — #128/#131-138 delivered (
feat(diagnostics): prelude-hint for UndefinedVariable / Unbound (stdlib
fix(codegen): #138 — link imported enum constructors into codegen (#602)
fix(module_loader): revert #138 imported-type carry — fixes Deno-ESM …
chore: refresh stale CI notes + sync drifted Deno fixtures (#608)
Merge main into feat/solo-core-metatheory-proofs (un-block #614) (#615)
fix(docs): align MODULE-SYSTEM-PROGRESS with main — clears #614 confl…
fix(loader): carry user-defined enum constructors across a selective …
fix(loader): carry user-defined enum constructors across a selective …