From 8d61599b8de272dd99e12be4f978ad8479ba6d44 Mon Sep 17 00:00:00 2001 From: Brummel Date: Thu, 21 May 2026 01:34:54 +0200 Subject: [PATCH] =?UTF-8?q?doc:=20fix=20bare=20(class=20Eq)=20=E2=86=92=20?= =?UTF-8?q?(class=20prelude.Eq)=20in=20operator-routing-eq-ord=20spec=20no?= =?UTF-8?q?rth-star?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Fieldtest (505eb84) finding spec_gap → tighten-the-design-ledger: the spec's §"Concrete code shapes" north-star example at line 113 wrote `(class Eq)` (bare). An LLM-author who copies the spec verbatim hits `bare-cross-module-class-ref` — the language requires `(class prelude.Eq)` (qualified) at instance-declaration sites. The shipped fixture `examples/eq_user_adt_smoke.ail` already uses the qualified form (line 5 — implementer caught the drift during Task 1 fixture authoring), so the corpus was consistent; only the spec text drifted. Fix: rewrite line 113 to match the qualified form the language and the existing corpus require. One-line doc fix; no code surface change. Spec stays as `docs/specs/2026-05-20-operator-routing-eq-ord.md` (Status: Draft unchanged — content correction, not a re-issue). --- docs/specs/2026-05-20-operator-routing-eq-ord.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/specs/2026-05-20-operator-routing-eq-ord.md b/docs/specs/2026-05-20-operator-routing-eq-ord.md index 523f36a..524e442 100644 --- a/docs/specs/2026-05-20-operator-routing-eq-ord.md +++ b/docs/specs/2026-05-20-operator-routing-eq-ord.md @@ -110,7 +110,7 @@ follow: lit patterns inherit equality dispatch by construction. (data Point (ctor Point (con Int) (con Int))) (instance - (class Eq) + (class prelude.Eq) (type (con Point)) (method eq (body (lam (params (typed p1 (con Point)) (typed p2 (con Point))) (ret (con Bool))