From 6915730029e1af854fd2a15efc4283ef52bca5bb Mon Sep 17 00:00:00 2001 From: giles Date: Thu, 7 May 2026 17:35:59 +0000 Subject: [PATCH] =?UTF-8?q?GUEST-plan:=20log=20step=205=20partial=20?= =?UTF-8?q?=E2=80=94=20kit=20+=20tests,=20real=20consumers=20deferred?= 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 8d3b1f37..fdbaf475 100644 --- a/plans/lib-guest.md +++ b/plans/lib-guest.md @@ -156,7 +156,7 @@ Extract from `haskell/infer.sx`. Algorithm W or J, generalisation, instantiation | 2 — prefix.sx (common-lisp + lua) | [partial — pending lua] | 2ef773a3 | common-lisp/runtime.sx ported (47 aliases collapsed into 13 prefix-rename calls); 518/518 vs 309/309 baseline (improvement, no regression). lua/runtime.sx has no pure same-name aliases — every lua- definition wraps custom logic; second consumer pending. | | 3 — lex.sx (lua + tcl) | [done] | 559b0df9 | lex.sx exports nil-safe char-class predicates + token record. lua/tokenizer.sx (7 preds) and tcl/tokenizer.sx (5 preds) collapsed into prefix-rename calls. lua 185/185, tcl 342/342, tcl-conf 3/4 — all = baseline. | | 4 — pratt.sx (lua + prolog) | [done] | da27958d | Extracted operator-table format + lookup only — climbing loops stay per-language because lua and prolog use opposite prec conventions. lua/parser.sx: 18-clause cond → 15-entry table. prolog/parser.sx: pl-op-find deleted, pl-op-lookup wraps pratt-op-lookup. lua 185/185, prolog 590/590 — both = baseline. | -| 5 — ast.sx (lua + prolog) | [in-progress] | — | — | +| 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) | [ ] | — | — | | 7 — layout.sx (haskell + synthetic) | [ ] | — | — | | 8 — hm.sx (haskell + TBD) | [ ] | — | — |