design-md-consolidation 4.4: cross-ref audit — JOURNAL queue → roadmap.md; bench pointers retained as binding-evidence anchors
This commit is contained in:
+1
-1
@@ -1912,7 +1912,7 @@ The typechecker enforces
|
||||
calls at the points dictated by linearity, and `Term::Clone` /
|
||||
`Term::ReuseAs` materialise into actual rc-bumps and in-place
|
||||
rewrites respectively. Boehm-on-`--alloc=gc` is on the path to
|
||||
retirement; see the JOURNAL queue.
|
||||
retirement; see `docs/roadmap.md` for the active queue.
|
||||
|
||||
The **desugar** pass (`ailang-core::desugar::desugar_module`) runs
|
||||
before typecheck and codegen in every entry point of `ailang-check`
|
||||
|
||||
Reference in New Issue
Block a user