coop/rose-ash
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

40/40 VM tests pass, auto-compile disabled until full aser compilation

Browse Source 
All VM tests green: closures with shared mutable upvalues, map/filter/
for-each via CALL_PRIM, recursive functions, nested closures.

Auto-compile disabled: replacing individual Lambdas with NativeFn VM
wrappers changes how the CEK dispatches calls, causing scope errors
when mixed CEK+VM execution hits aser-expand-component. The fix is
compiling the ENTIRE aser render path to run on the VM — no mixing.

The VM infrastructure is complete and tested. Next step: compile
adapter-sx.sx as a whole module, run the aser on the VM.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This commit is contained in:
giles
2026-03-19 20:57:59 +00:00
parent c8c4b322a9
commit f12bbae6c9
2 changed files with 13 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
hosts/ocaml/bin/sx_server.ml
View File

@@ -831,7 +831,8 @@ let dispatch env cmd =
let names = Hashtbl.fold (fun k _ acc -> k :: acc) env.bindings [] in let names = Hashtbl.fold (fun k _ acc -> k :: acc) env.bindings [] in
List.iter (fun name -> List.iter (fun name ->
match Hashtbl.find_opt env.bindings name with match Hashtbl.find_opt env.bindings name with
| Some (Lambda lam) when lam.l_name <> None -> | Some (Lambda lam) when lam.l_name <> None
&& lam.l_closure.parent = None ->
(try (try
let quoted = List [Symbol "quote"; lam.l_body] in let quoted = List [Symbol "quote"; lam.l_body] in
let result = Sx_ref.eval_expr (List [compile_fn; quoted]) (Env env) in let result = Sx_ref.eval_expr (List [compile_fn; quoted]) (Env env) in
@@ -857,8 +858,11 @@ let dispatch env cmd =
incr count incr count
| _ -> incr failed | _ -> incr failed
with e -> with e ->
if !failed < 5 then if !failed < 3 then
Printf.eprintf "[vm] FAIL %s: %s\n%!" name (Printexc.to_string e); Printf.eprintf "[vm] FAIL %s: %s\n body: %s\n%!"
name (Printexc.to_string e)
(String.sub (inspect lam.l_body) 0
(min 200 (String.length (inspect lam.l_body))));
incr failed) incr failed)
| _ -> () | _ -> ()
) names; ) names;

9
shared/sx/ocaml_bridge.py
View File

@@ -265,9 +265,12 @@ class OcamlBridge:
_logger.info("Loaded %d definitions from .sx files into OCaml kernel (%d skipped)", _logger.info("Loaded %d definitions from .sx files into OCaml kernel (%d skipped)",
count, skipped) count, skipped)
# VM auto-compile: ready when compiler handles all SX features. # VM bytecode infrastructure ready. Auto-compile disabled:
# Currently 6/117 compile; fallback fails on closure scope vars. # compiled NativeFn wrappers change CEK dispatch behavior
# await self._send('(vm-compile)') # causing scope errors in aser-expand-component. The VM
# tests (40/40) verify correctness in isolation.
# Enable after: full aser adapter compilation so the ENTIRE
# render path runs on the VM, not mixed CEK+VM.
except Exception as e: except Exception as e:
_logger.error("Failed to load .sx files into OCaml kernel: %s", e) _logger.error("Failed to load .sx files into OCaml kernel: %s", e)
self._components_loaded = False # retry next time self._components_loaded = False # retry next time