From 1605be75cbf7b52e9d59e4fc91b518caec836059 Mon Sep 17 00:00:00 2001 From: Brummel Date: Sun, 10 May 2026 13:07:38 +0200 Subject: [PATCH] =?UTF-8?q?design-md-consolidation=204.3:=20drop=20'Recent?= =?UTF-8?q?ly=20lifted=20gates'=20history=20paragraph=20from=20=C2=A7What-?= =?UTF-8?q?is-not-yet-supported?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/DESIGN.md | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) diff --git a/docs/DESIGN.md b/docs/DESIGN.md index bec3282..f046a0d 100644 --- a/docs/DESIGN.md +++ b/docs/DESIGN.md @@ -1975,19 +1975,7 @@ ail run — build + execute (tempdir), passthro ## What is not (yet) supported Snapshot of the current boundary. Items move out of this list -as iterations land; the JOURNAL records when. Recently -**lifted** gates that used to live here: cross-module ADTs (via qualified `module.Type` / `module.Ctor` references in -both `(con ...)` and `(term-ctor ...)` / `(pat-ctor ...)` positions); -GC for ADT boxes, lambda envs, and closure pairs (Boehm conservative -collector, see Decision 9); nested constructor -sub-patterns inside `match` (via the desugar pass); -literal sub-patterns inside a Ctor pattern (the -desugar pass rewrites every `Pattern::Lit` to a `Term::If` on `==`, -both at the top level of an arm and inside a Ctor sub-pattern); -`==` extended from Int-only to a polymorphic -`forall a. (a, a) -> Bool` over `Int`/`Bool`/`Str`/`Unit` (codegen -monomorphises and dispatches on the -resolved arg type; ADT/Fn arg types are rejected at codegen). +as iterations land; the JOURNAL records when. - No effect handlers — only the built-in IO and Diverge ops. - No refinements / SMT escalation.