Repository navigation
stdlib: make every stdlib/*.affine compile through resolve→typecheck→codegen #135
Description
Part of #128.
Task: get every stdlib/*.affine to compile through resolve → typecheck → codegen. Track per file:
-
prelude.affine -
option.affine -
result.affine -
collections.affine -
string.affine(original stdlib has never been AOT-compiled as a coherent unit (angle-applied types + flat-namespace collisions; string.affine is the first symptom) #128 symptom) -
io.affine -
testing.affine -
effects.affine -
math.affine -
traits.affine -
Core.affine - remaining
*.affine(Ajv/Crypto/Deno/Grammy/Network/Sqlite/Vscode/VscodeLanguageClient)
Note any that need more than the #128-A fix (e.g. option.affine's take/get_or_insert use &mut Option<T> with reassignment — affine/borrow lowering).
Activity
docs(stdlib): settle namespace model — real modules + qualified paths (…
feat(parser): fn(params) => expr lambdas + #135 triage punch list (#153)
feat(parser): slice/range index e[a:b] via slice builtin (#135 slice …
feat(parser): bare effect decl + ADR-008 -> T / E effect row (#135 sl…
fix(stdlib): rename try->attempt, ref->make_ref (#135 slice 6) (#156)
docs(stdlib): refresh #135 triage after slices 1-3,6 (STDLIB-AOT-TRIA…
fix(stdlib): rename `as` param/var -> `xs` in collections (#135 slice…
feat(parser): trait method default bodies (left-factored) (#135 slice…
fix(typecheck): instantiate generic fn type params; prelude `mut` (#135…
fix(stdlib): module visibility + imports per ADR-011 (#135 slice 8) (#…
docs(stdlib): refresh #135 triage (r2) after slices 5,6b,7,8 (#165)
fix(resolve): two-pass — forward-declare top-level names (#135 slice …
fix(stdlib): rename `total` var -> `tot` (#135 slice 4) (#168)
fix(stdlib): Iterator::collect uses [] not nonexistent Vec (#135 slic…
docs: session handoff note for #135 stdlib AOT (next-Claude brief) (#171
fix(resolve): seed `trunc` builtin in resolver context (#135) (#170)
fix(typecheck): infer Ref<T> kind as arity-1 ctor (#135 slice 10) (#167)
fix: cross-module imports for stdlib (ADR-011) + module builtin seedi…
fix(typecheck): reconcile register_builtins with resolver seed list (#…
fix(main): thread imported type schemes into check_program (#135) (#174)
fix(stdlib): math.affine typecheck + borrow (#135 slice 12) (#184)
docs: session handoff (b) — #128/#135 stdlib AOT at 13/19 (#135) (#185)
docs(history): mark STDLIB-AOT-TRIAGE closed — #128/#131-138 delivered (