From 86fd5dec0bd3ad43278a327e19136faed98b3642 Mon Sep 17 00:00:00 2001 From: Brummel Date: Sun, 10 May 2026 12:25:26 +0200 Subject: [PATCH] design-md-consolidation 2.1 fixup: replace orphaned Decision 7 cross-reference at DESIGN.md:1141-1144 --- docs/DESIGN.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/docs/DESIGN.md b/docs/DESIGN.md index 95cb488..e5519cd 100644 --- a/docs/DESIGN.md +++ b/docs/DESIGN.md @@ -1138,10 +1138,9 @@ The trade-off this accepts: the schema permits `Term::ReuseAs { body }` where `body` is not an allocating form (e.g. a literal, a var). Such terms are caught at typecheck via a `reuse-as-non-allocating-body` diagnostic — structural rejection -in the typechecker, not the schema. This is the same trade-off -Decision 7 made for `Term::If`'s relationship to nested -`Term::Match`: prefer composability over schema-level -rejection where the typecheck rule is unambiguous. +in the typechecker, not the schema. The principle: prefer +composability over schema-level rejection where the typecheck +rule is unambiguous. **`TypeDef` attribute.**