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.
Depends on: #128-A, #128-B, #128-C.
Part of #128.
Commit
b895374seededSome/None/Ok/Erras builtins sostring.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.
Depends on: #128-A, #128-B, #128-C.