2109 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
giles	679b45e3fc	plans: tick Phase 1 float expr, add progress log to tcl-sx-completion	2026-05-06 15:20:17 +00:00
giles	096faf2c40	plans: tcl-sx-completion — phased plan for remaining Tcl limitations ... Phase 1: zero-cost wins (float/regex/apply/arrays, no SX changes) Phase 2: lib/fiber.sx (pure SX fibers via call/cc + set!) Phase 3: small OCaml additions (file-read, clock-seconds, etc.) Phase 4: env-as-value (optional architectural cleanup) Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 13:21:59 +00:00
giles	bf190b8fc4	tcl: merge loops/tcl — complete Tcl 8.6 subset (329 tests) ... Phases 1-6: Dodekalogue tokenizer/parser, eval engine, expr mini-language, string/list/dict commands, proc + uplevel/upvar (the headline showcase), catch/try/throw, namespaces + ensembles, generator coroutines, idiom corpus. Resolved add/add conflicts by taking loops/tcl (the complete tested impl) over the architecture branch's earlier prototype. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 11:36:59 +00:00
giles	74ce9e7c75	merge loops/prolog: complete Prolog-on-SX implementation ... 590 tests passing across 29 suites. Brings in: parser, runtime, query API, compiler, conformance harness, integration suite, and hs-bridge (combined hook + factory styles). Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 11:20:44 +00:00
giles	bc45b7abf5	tcl: tick Phase 6 checkboxes, update progress log ... Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 11:06:05 +00:00
giles	2c61be39de	tcl: Phase 6 coroutines + clock/file stubs + idiom corpus (+40 tests, 329 total) ... - Coroutines (generator-style): coroutine/yield/yieldto commands; eager yield collection during body execution, pop-on-call dispatch via registered command closures; coro-yields + coroutines threaded through tcl-call-proc - info exists varname (plus hostname/script/tclversion stubs) - clock seconds/milliseconds/format/scan stubs - File I/O stubs: open/close/read/eof/seek/tell/flush + file subcommands - format command: full %-specifier parsing with flags, width, zero-pad, left-align - Fixed dict set/unset/incr/append/update to use tcl-var-get (upvar alias aware) - Fixed lappend and append to use tcl-var-get for reading (upvar alias aware) - 20 coroutine tests (coro.sx) + 20 idiom corpus tests (idioms.sx) - event-loop.tcl program: cooperative scheduler demo using coroutines - Note: coroutines eagerly collect yields (generator-style, not true suspension) Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 11:05:28 +00:00
giles	ea064346e1	tcl: tick Phase 5 checkboxes, update progress log ... Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 10:21:47 +00:00
giles	23c44cf6cf	tcl: Phase 5 namespaces + ensembles (+22 tests, 289 total) ... Implements namespace eval, current, which, exists, delete, export, import, forget, path, and ensemble create (auto-map + -map). Procs defined inside namespace eval are stored as fully-qualified names (::ns::proc), resolved relative to the calling namespace at lookup time. Proc bodies execute in their defining namespace so sibling calls work without qualification. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 10:21:21 +00:00
giles	5e0fcb9316	tcl: tick Phase 4 checkboxes, update progress log ... Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 09:59:09 +00:00
giles	d295ab8463	tcl: Phase 4 error handling — catch/try/throw/return-code (+39 tests, 267 total) ... Implements catch, throw, try, return -code options, and error with errorinfo/errorcode fields. catch runs sub-script isolated, captures result and exit code (0-4); try dispatches on/finally clauses; throw sets code 1 with errorcode; return -code parses flag options. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 09:58:32 +00:00
giles	afddc92c70	tcl: update progress log with conformance/classic programs entry ... Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 09:45:07 +00:00
giles	95f96efb78	tcl: conformance.sh + scoreboard, annotate classic programs ... Adds lib/tcl/conformance.sh: runs .tcl programs through the epoch protocol, compares against # expected: annotations, writes scoreboard.json and scoreboard.md. All 3 classic programs pass. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 09:44:44 +00:00
giles	95b22a648d	tcl: classic programs — for-each-line, assert, with-temp-var (+3 tests, 228 total) ... Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 09:34:26 +00:00
giles	cffd3bec83	tcl: tick Phase 3 core checkboxes, update progress log ... Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 09:31:17 +00:00
giles	eb5babaf99	tcl: proc + uplevel + upvar + global + variable + info (+19 tests, 225 total) ... Phase 3 headline feature: everything falls out of SX's first-class env chain. - make-tcl-interp extended with :frame-stack and :procs fields - proc: user-defined commands with param binding, rest args, isolated scope - uplevel: run script in ancestor frame with correct frame propagation - upvar: alias local name to remote frame variable (get/set follow alias) - global/variable: sugar for upvar #0 - info: level, vars, locals, globals, commands, procs, args, body - tcl-call-proc propagates updated frames back to caller after proc returns - test.sh timeout bumped to 90s for larger runtime Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 09:30:28 +00:00
giles	985671cd76	hs: query targets, prolog hook, loop scripts, new plans, WASM regen ... Hyperscript compiler/runtime: - query target support in set/fire/put commands - hs-set-prolog-hook! / hs-prolog-hook / hs-prolog in runtime - runtime log-capture cleanup Scripts: sx-loops-up/down, sx-hs-e-up/down, sx-primitives-down Plans: datalog, elixir, elm, go, koka, minikanren, ocaml, hs-bucket-f, designs (breakpoint, null-safety, step-limit, tell, cookies, eval, plugin-system) lib/prolog/hs-bridge.sx: initial hook-based bridge draft lib/common-lisp/tests/runtime.sx: CL runtime tests WASM: regenerate sx_browser.bc.js from updated hs sources Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 09:19:56 +00:00
giles	a49b1a9f79	tcl: tick dict/60+ tests checkboxes, update progress log ... Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 09:00:39 +00:00
giles	263d9aae68	tcl: dict commands — 13 subcommands (+24 tests, 206 total) ... Implements tcl-cmd-dict with create/get/set/unset/exists/keys/values/ size/for/update/merge/incr/append subcommands, plus helpers tcl-dict-to-pairs, tcl-dict-from-pairs, tcl-dict-get, tcl-dict-set-pair, tcl-dict-unset-key. Registers "dict" in make-default-tcl-interp. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 09:00:13 +00:00
giles	0dbf9b9f73	tcl: tick list commands checkbox, update progress log ... Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 08:54:47 +00:00
giles	7b11f3d44a	tcl: list commands — 12 commands (+26 tests, 182 total) ... Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 08:54:24 +00:00
giles	a26be0bfd0	tcl: tick string commands checkbox, update progress log ... Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 08:49:17 +00:00
giles	9ed3e4faaf	tcl: string command — 16 subcommands + 29 tests (156 total) ... Implements tcl-cmd-string covering length, index, range, compare, match (glob * and ?), toupper, tolower, trim/trimleft/trimright, map, repeat, first, last, is (integer/double/alpha/alnum/digit/space/upper/lower/boolean), and cat. All 156 tcl tests pass (parse: 67, eval: 89). Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 08:48:43 +00:00
giles	ac013c9381	tcl: expr mini-language — recursive descent parser (+20 tests, 127 total) ... Replaces 3-token flat evaluator with full recursive descent parser: operator precedence, parentheses, unary ops, ** power, function calls (abs/sqrt/pow/max/min/int/double), expression tokenizer for dense syntax. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 08:43:02 +00:00
giles	f07b6e497e	prolog: Hyperscript bridge (+19) ... pl-hs-query, pl-hs-predicate/1,2,3, pl-hs-install in hs-bridge.sx. No parser/compiler changes: Hyperscript already compiles `when allowed(user, action)` to (allowed user action). Total 590/590. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-06 08:30:46 +00:00
giles	72ccaf4565	briefing: push to origin/loops/tcl after each commit	2026-05-06 06:47:36 +00:00
giles	ef736112ef	prolog: integration test suite (+20) ... 20 end-to-end tests via pl-query-* API: permission system, graph reachability, quicksort, dynamic KB, fibonacci. Total 571/571. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 20:41:45 +00:00
giles	e4eab6a309	briefing: push after each commit, unblock hyperscript bridge	2026-05-05 20:15:33 +00:00
giles	c311d4ebc4	cl: Phase 5 set-macro-character + Phase 6 corpus 200+ — 518/518 tests ... set-macro-character/set-dispatch-macro-character/get-macro-character stubs: cl-reader-macros + cl-dispatch-macros dicts, full dispatch in eval.sx. All Phase 5+6 roadmap items ticked. 518 total tests, 0 failed. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 12:35:26 +00:00
giles	99f8ccb30e	cl: Phase 6 packages — defpackage/in-package + pkg:sym — 518/518 tests ... cl-packages dict, cl-current-package, cl-package-sep? strips pkg: prefix from symbol/function lookups. defpackage/in-package/export/ use-package/import/find-package/package-name dispatch. Package- qualified calls like (cl:car ...) and (cl:mapcar ...) work. 4 package tests added to stdlib.sx. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 12:33:36 +00:00
giles	4f9da65b3d	cl: Phase 6 FORMAT + substr fixes — 514/514 tests ... FORMAT with ~A/~S/~D/~F/~%/~&/~T/~P/~{...~}/~^; cl-fmt-loop, cl-fmt-find-close, cl-fmt-iterate, cl-fmt-a/cl-fmt-s helpers. Fix substr(start,length) semantics throughout: SUBSEQ end formula corrected to (- end start), cl-fmt-loop char extraction fixed. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 12:23:54 +00:00
giles	025ddbebdd	cl: Phase 6 stdlib — sequence/list/string functions, 508/508 tests ... mapc/mapcan/reduce/find/find-if/position/count/every/some/notany/ notevery/remove/remove-if/subst/member; assoc/rassoc/getf/last/ butlast/nthcdr/list*/cadr/caddr/cadddr; subseq/coerce/make-list. 44 new tests in tests/stdlib.sx. Helpers: cl-member-helper, cl-subst-helper, cl-position-helper. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 12:17:13 +00:00
giles	f449f82fdd	cl: Phase 5 macros+LOOP + Phase 2 dynamic vars — 464/464 tests ... defmacro/macrolet/symbol-macrolet/macroexpand, gensym/gentemp, full LOOP macro (loop.sx) with all clause types. Phase 2 dynamic variables: cl-apply-dyn, cl-letstar-bind, cl-mark-special!/cl-special? for defvar/defparameter specials with let-based dynamic rebinding. 27 macro+LOOP tests; 182 eval tests (8 new dynamic var tests). Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 12:04:37 +00:00
giles	0e426cfea8	cl: Phase 4 CLOS complete — generic functions, multi-dispatch, method qualifiers, 437/437 tests ... - lib/common-lisp/clos.sx (27 forms): class registry (8 built-in classes), defclass/make-instance/slot-value/slot-boundp/change-class, defgeneric/defmethod with :before/:after/:around, clos-call-generic (standard combination: sort by specificity, fire befores, call primary chain, fire afters reversed), call-next-method/next-method-p, with-slots, deferred accessor installation - lib/common-lisp/tests/clos.sx: 41 tests (class-of, subclass-of?, defclass, make-instance, slot ops, inheritance, method specificity, qualifiers, accessors, with-slots, change-class) - lib/common-lisp/tests/programs/geometry.sx: 12 tests — intersect generic dispatching on geo-point×geo-point, geo-point×geo-line, geo-line×geo-line, geo-line×geo-plane (multi-dispatch by class precedence) - lib/common-lisp/tests/programs/mop-trace.sx: 13 tests — :before/:after tracing on area and describe-shape generics, call-next-method in circle/rect - eval.sx: dynamic variables — cl-apply-dyn saves/restores global slot for specials; cl-mark-special!/cl-special?/cl-dyn-unbound; defvar now marks specials; let/let* rebind via cl-apply-dyn; 8 new tests (182 eval total) - conformance.sh + test.sh: Phase 4 suites wired in - plans/common-lisp-on-sx.md: Phase 4 + dynamic variable boxes ticked Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 11:38:37 +00:00
giles	71c4b5e33f	cl: Phase 3 all complete — conformance.sh runner, 363/363 tests green ... conformance.sh runs all 7 test suites (reader/parser/eval/conditions/ restart-demo/parse-recover/interactive-debugger), writes scoreboard.json and scoreboard.md. 363 total tests: 79 tokenizer, 31 parser/lambda-lists, 174 evaluator (including unwind-protect), 59 conditions, 20 classic programs. Phase 3 fully complete — all roadmap boxes ticked. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 11:24:50 +00:00
giles	4cd8773766	cl: multiple values — 15 new tests (174 eval, 346 total green) ... VALUES wraps 2+ values in {:cl-type "mv"}; cl-mv-primary strips to primary in IF/AND/OR/COND/cl-call-fn single-value contexts; cl-mv-vals expands for MULTIPLE-VALUE-BIND, MULTIPLE-VALUE-CALL, NTH-VALUE.	2026-05-05 11:23:12 +00:00
giles	733b1ebefa	cl: Phase 3 complete — *debugger-hook*, *break-on-signals*, invoke-restart-interactively (147 tests) ... cl-debugger-hook: mutable global (fn (c hook) result); cl-invoke-debugger calls it with infinite-recursion guard (sets hook nil during call). cl-error now routes unhandled errors through cl-invoke-debugger instead of bare host error — allows the hook to invoke a restart and resume. cl-break-on-signals: when set to a type name, cl-signal fires the debugger hook before walking handlers if the condition matches. cl-invoke-restart-interactively: calls the restart fn with no args (no terminal protocol — equivalent to (invoke-restart name)). 4 new tests in conditions.sx covering all three; Phase 3 fully complete. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 11:21:52 +00:00
giles	85911d7b84	cl: Phase 3 interactive-debugger — *debugger-hook* pattern, 7 tests (143 total) ... cl-debugger-hook global (nil = default), cl-invoke-debugger walks the hook, cl-error-with-debugger routes unhandled errors through the hook, and make-policy-debugger builds a hook from a (fn (condition restarts) name) policy function. Tests: hook receives condition, policy selects use-zero/abort restarts, compute-restarts visible inside hook, handler wins before hook fires, infinite-recursion guard. Wired into test.sh program suite runner. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 11:17:57 +00:00
giles	ab66b29a74	cl: Phase 3 classic programs — restart-demo (7 tests) + parse-recover (6 tests) ... restart-demo.sx: safe-divide with division-by-zero condition, use-zero and retry restarts. Demonstrates handler-bind invoking a restart to resume computation with a corrected value. parse-recover.sx: token parser signalling parse-error on non-integer tokens, skip-token and use-zero restarts. Demonstrates recovery-via- restart and handler-case abort patterns. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 11:16:35 +00:00
giles	32a82a2e12	cl: unwind-protect — 8 new tests (159 eval, 331 total green) ... cl-eval-unwind-protect evaluates protected form, runs cleanup via for-each (results discarded, sentinels preserved), returns original result — correctly propagates block-return/go-tag through cleanup.	2026-05-05 11:14:39 +00:00
giles	7d6df6fd5f	cl: Phase 3 conditions + restarts — handler-bind, handler-case, restart-case, 55 tests (123 total runtime) ... define-condition with 15-type ANSI hierarchy (condition/error/warning/ simple-error/simple-warning/type-error/arithmetic-error/division-by-zero/ cell-error/unbound-variable/undefined-function/program-error/storage-condition). cl-condition-of-type? walks the hierarchy; cl-make-condition builds tagged dicts {:cl-type "cl-condition" :class name :slots {...}}. cl-signal-obj walks cl-handler-stack for non-unwinding dispatch. cl-handler-case and cl-restart-case use call/cc escape continuations for unwinding. All stacks are mutable SX globals (the built-in handler-bind/restart-case only accept literal AST specs — not computed lists). Key fix: cl-condition-of-type? captures cl-condition-classes at define-time via let-closure to avoid free-variable failure through env_merge parent chain. 55 tests in lib/common-lisp/tests/conditions.sx, wired into test.sh. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 11:14:04 +00:00
giles	fd16776dd2	cl: unwind-protect — cleanup frame in cl-eval-ast, 8 new tests (159 eval) ... Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-05-05 11:13:53 +00:00
giles	a12a6a11cb	cl: tagbody + go — 11 new tests (151 eval, 323 total green) ... Sentinel-based tagbody: cl-build-tag-map indexes tags by str-normalised key (handles integer tags); cl-eval-tagbody loops with go-jump restart; go-tag propagates through cl-eval-body alongside block-return.	2026-05-05 11:07:43 +00:00
giles	ce7243a1fb	cl: block + return-from — 13 new tests (140 eval, 312 total green) ... Sentinel propagation in cl-eval-body; cl-eval-block catches matching sentinels; BLOCK/RETURN-FROM/RETURN dispatch added to cl-eval-list. Parser: CL strings now {:cl-type "string"} dicts for proper CL semantics.	2026-05-05 10:57:33 +00:00
giles	3f8fe41d4d	Merge architecture into loops/common-lisp	2026-05-05 10:47:02 +00:00
giles	086ad028ce	Merge loops/erlang into architecture — 530/530 tests, all phases complete	2026-05-05 10:42:07 +00:00
giles	97ccd61f74	Merge loops/smalltalk into architecture — 847/847 tests, all phases complete	2026-05-05 10:41:58 +00:00
giles	90bc1208d9	plan: tick Phase 22 Forth — all Phase 22 items complete	2026-05-01 23:31:08 +00:00
giles	8019e5725b	phase 22 forth: bitwise/string-buffer/memory in lib/forth/runtime.sx (36 forms), 64/64 tests	2026-05-01 23:30:48 +00:00
giles	2edd426748	plan: tick Phase 22 Tcl — complete, Forth next	2026-05-01 23:25:14 +00:00
giles	3e07727d6b	phase 22 tcl: string-buffer/channel/regexp/format/coroutine in lib/tcl/runtime.sx (37 forms), 56/56 tests	2026-05-01 23:24:56 +00:00