From 152e4efa28a7140df329f8b15bcee578a38e9b8d Mon Sep 17 00:00:00 2001 From: Brummel Date: Sun, 10 May 2026 12:09:36 +0200 Subject: [PATCH] design-md-consolidation 1.4 nit: deduplicate 'fixture' word in user-class parenthetical --- docs/DESIGN.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/DESIGN.md b/docs/DESIGN.md index 3b0c72e..a653200 100644 --- a/docs/DESIGN.md +++ b/docs/DESIGN.md @@ -1744,8 +1744,8 @@ separable from the typeclass machinery itself, and the LLM-utility case for primitive `Show` is weak (LLM-natural form is `int_to_str x`, not `show x` through a single-instance class). The user-class end-to-end path is the milestone's typeclass acceptance gate -(the user-defined-class fixture: `class Foo a` + `data IntBox` + `instance Foo IntBox` -fixture); see `docs/specs/2026-05-09-22-typeclasses.md` +(the user-defined-class fixture: `class Foo a` + `data IntBox` + +`instance Foo IntBox`); see `docs/specs/2026-05-09-22-typeclasses.md` "Amendments" for the substantive rationale. A future milestone may add a Prelude when concrete LLM-author code