From d3c34b46b9ffcf428356e606b645c54d128d2f28 Mon Sep 17 00:00:00 2001 From: giles Date: Thu, 7 May 2026 19:35:05 +0000 Subject: [PATCH] =?UTF-8?q?GUEST-plan:=20claim=20step=208=20=E2=80=94=20hm?= =?UTF-8?q?.sx?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 4.7 (1M context) --- plans/lib-guest.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plans/lib-guest.md b/plans/lib-guest.md index d3699b7c..f2f5ff92 100644 --- a/plans/lib-guest.md +++ b/plans/lib-guest.md @@ -159,7 +159,7 @@ Extract from `haskell/infer.sx`. Algorithm W or J, generalisation, instantiation | 5 — ast.sx (lua + prolog) | [partial — pending real consumers] | a774cd26 | Kit + 33 self-tests shipped (10 canonical kinds, predicates, accessors). Step is "Optional" per brief; lua/prolog parsers untouched (185/185 + 590/590). Datalog-on-sx will be the natural first real consumer; lua/prolog converters can land later. | | 6 — match.sx (haskell + prolog) | [partial — kit shipped; ports deferred] | 863e9d93 | Pure-functional unify + match kit (canonical wire format + cfg-driven adapters) + 25 self-tests. Existing prolog/haskell engines untouched (structurally divergent — mutating-symmetric vs pure-asymmetric — would risk 746 passing tests under brief's revert-on-regression rule). Real consumer is minikraken/datalog work in flight. | | 7 — layout.sx (haskell + synthetic) | [partial — haskell port deferred] | d75c61d4 | Configurable kit (haskell-style keyword-opens + python-style trailing-`:`-opens) + 6 self-tests covering both flavours. Synthetic Python-ish fixture passes; haskell/layout.sx untouched (kit not yet a drop-in for Haskell 98 Note 5 etc.; haskell still 156/156 baseline). | -| 8 — hm.sx (haskell + TBD) | [ ] | — | — | +| 8 — hm.sx (haskell + TBD) | [in-progress] | — | — | ---