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

Remove cek_resume debug tracing, rebuild WASM

Browse Source 
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This commit is contained in:
giles
2026-04-17 13:08:43 +00:00
parent c641b445f8
commit 0e152721cc
3 changed files with 1287 additions and 1393 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
hosts/ocaml/lib/sx_ref.ml
View File

@@ -629,18 +629,7 @@ and cek_run state =
(* cek-resume *)
and cek_resume suspended_state result' =
let env = cek_env suspended_state in
let kont = cek_kont suspended_state in
let kont_len = match kont with List l | ListRef { contents = l } -> List.length l | _ -> -1 in
let frame_type = match kont with
| List (CekFrame f :: _) | ListRef { contents = CekFrame f :: _ } -> f.cf_type
| _ -> "?" in
Printf.eprintf "[cek_resume] kont_len=%d frame0=%s result=%s step_count=%d step_limit=%d\n%!" kont_len frame_type (Sx_types.inspect result') !step_count !step_limit;
let state = make_cek_value result' env kont in
let final = cek_step_loop state in
let final_phase = match cek_phase final with String s -> s | _ -> "?" in
Printf.eprintf "[cek_resume] final phase=%s value=%s\n%!" final_phase (Sx_types.inspect (cek_value final));
final
(cek_step_loop ((make_cek_value (result') ((cek_env (suspended_state))) ((cek_kont (suspended_state))))))
(* cek-step *)
and cek_step state =

2665
shared/static/wasm/sx_browser.bc.js
View File

File diff suppressed because one or more lines are too long

2
shared/static/wasm/sx_browser.bc.wasm.js
View File

@@ -1792,7 +1792,7 @@
blake2_js_for_wasm_create: blake2_js_for_wasm_create};
}
(globalThis))
({"link":[["runtime-0db9b496",0],["prelude-d7e4b000",0],["stdlib-23ce0836",[]],["re-9a0de245",[2]],["sx-624c0574",[2,3]],["jsoo_runtime-f96b44a8",[2]],["js_of_ocaml-651f6707",[2,5]],["dune__exe__Sx_browser-def18509",[2,4,6]],["std_exit-10fb8830",[2]],["start-f808dbe1",0]],"generated":(b=>{var
({"link":[["runtime-0db9b496",0],["prelude-d7e4b000",0],["stdlib-23ce0836",[]],["re-9a0de245",[2]],["sx-7c87b1f0",[2,3]],["jsoo_runtime-f96b44a8",[2]],["js_of_ocaml-651f6707",[2,5]],["dune__exe__Sx_browser-def18509",[2,4,6]],["std_exit-10fb8830",[2]],["start-f808dbe1",0]],"generated":(b=>{var
c=b,a=b?.module?.export||b;return{"env":{"caml_ba_kind_of_typed_array":()=>{throw new
Error("caml_ba_kind_of_typed_array not implemented")},"caml_exn_with_js_backtrace":()=>{throw new
Error("caml_exn_with_js_backtrace not implemented")},"caml_int64_create_lo_mi_hi":()=>{throw new