From 49fc6738baefc719d146545f129726879c092e5b Mon Sep 17 00:00:00 2001 From: Brummel Date: Sun, 10 May 2026 13:09:16 +0200 Subject: [PATCH] =?UTF-8?q?design-md-consolidation=204.4:=20cross-ref=20au?= =?UTF-8?q?dit=20=E2=80=94=20JOURNAL=20queue=20=E2=86=92=20roadmap.md;=20b?= =?UTF-8?q?ench=20pointers=20retained=20as=20binding-evidence=20anchors?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/DESIGN.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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`