From 4205989aee5d10a2c3779341ef2e2eb2f5e71177 Mon Sep 17 00:00:00 2001 From: giles Date: Thu, 7 May 2026 14:09:38 +0000 Subject: [PATCH] =?UTF-8?q?plans:=20tick=20Phase=2013=20class-defaults=20t?= =?UTF-8?q?est=20file=20(13/13,=20plan=20=E2=89=A510)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- plans/haskell-completeness.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plans/haskell-completeness.md b/plans/haskell-completeness.md index 4a5ea5fc..4feba66d 100644 --- a/plans/haskell-completeness.md +++ b/plans/haskell-completeness.md @@ -240,7 +240,7 @@ No OCaml changes are needed. The view type is fully representable as an SX dict. `zero :: a` aren't dispatchable in our 1-arg type-driven scheme; tests derive zero via `(mySub x x)` instead. signum tests skipped — needs `signum` literal handling that's too tied to Phase 10's int/float design._ -- [ ] Tests in `lib/haskell/tests/class-defaults.sx` (≥ 10 tests). +- [x] Tests in `lib/haskell/tests/class-defaults.sx` (13/13, plan ≥10). - [ ] Conformance programs: - `shapes.hs` — `class Area a` with a default `perimeter`; two instances using `where`-local helpers.