design-md-consolidation 1.4 nit: deduplicate 'fixture' word in user-class parenthetical
This commit is contained in:
+2
-2
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user