giles 5d1913e730 ocaml: ADT support via bootstrap FIXUPS — define-type + match ...

Hand-write sf_define_type in bootstrap.py FIXUPS (skipped from transpile
because the spec uses &rest params and empty-dict literals the transpiler
can't emit). Registers define-type via register_special_form. Adds
step_limit/step_count to PREAMBLE (referenced by sx_vm.ml/run_tests.ml).

172 assertions pass (test-adt). Full suite: 4280/1080 (was 4243/1117).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

2026-04-26 18:52:16 +00:00

..

dune

Step 13: String/regex primitives — PCRE-compatible, cross-host

2026-04-05 20:38:40 +00:00

sx_compiler.ml

Re-bootstrap compiler + render after IO registry and Step 5 changes

2026-04-03 21:26:20 +00:00

sx_cst.ml

Step 14: source locations — pos-to-loc, error-loc, sx-parse-loc — 15 tests

2026-04-11 08:03:45 +00:00

sx_parser.ml

ocaml: numeric tower — Integer/Number distinction + float contagion

2026-04-26 12:10:50 +00:00

sx_primitives.ml

spec: string-buffer primitive — make-string-buffer/append!/->string/length

2026-04-26 17:05:05 +00:00

sx_ref.ml

ocaml: ADT support via bootstrap FIXUPS — define-type + match

2026-04-26 18:52:16 +00:00

sx_render.ml

Lambda→CEK dispatch: enable IO suspension through sx_call

2026-04-08 16:19:30 +00:00

sx_runtime.ml

ocaml: wire dynamic-wind through CEK — WindFrame + winders stack

2026-04-26 15:16:56 +00:00

sx_types.ml

spec: string-buffer primitive — make-string-buffer/append!/->string/length

2026-04-26 17:05:05 +00:00

sx_vm_ref.ml

Refactor MCP tree server: dispatch table, caching, validation, subprocess cleanup

2026-04-08 10:12:57 +00:00

sx_vm.ml

ocaml: numeric tower — Integer/Number distinction + float contagion

2026-04-26 12:10:50 +00:00