diff --git a/docs/DESIGN.md b/docs/DESIGN.md index f046a0d..d07d461 100644 --- a/docs/DESIGN.md +++ b/docs/DESIGN.md @@ -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`