diff options
Diffstat (limited to 'ocaml/lib')
| -rw-r--r-- | ocaml/lib/boot.ml | 4 | ||||
| -rw-r--r-- | ocaml/lib/nock.ml | 14 |
2 files changed, 9 insertions, 9 deletions
diff --git a/ocaml/lib/boot.ml b/ocaml/lib/boot.ml index 26f2177..b1026f9 100644 --- a/ocaml/lib/boot.ml +++ b/ocaml/lib/boot.ml @@ -206,7 +206,7 @@ let life eve = (Noun.cell (Noun.atom 0) (Noun.atom 2))) in - let result = Nock.nock_on eve lifecycle_formula in + let result = Nock_tail.nock_on eve lifecycle_formula in Printf.printf "[Boot] ✓ Nock.nock_on returned successfully\n%!"; Printf.printf "[Boot] Gate mug: 0x%08lx\n%!" (Noun.mug result); result @@ -600,7 +600,7 @@ let boot_lite ~fs state ivory_path = in (* Execute the lifecycle formula to produce kernel *) - let gat = Nock.nock_on eve lifecycle_formula in + let gat = Nock_tail.nock_on eve lifecycle_formula in (* Extract slot 7 (the kernel) from resulting gate *) let core = Noun.slot (Z.of_int 7) gat in diff --git a/ocaml/lib/nock.ml b/ocaml/lib/nock.ml index 64daa91..be93ffa 100644 --- a/ocaml/lib/nock.ml +++ b/ocaml/lib/nock.ml @@ -8,7 +8,7 @@ open Noun (* Trace tracking *) let call_count = ref 0 let depth = ref 0 -let max_calls = 100 +let max_calls = 0 (* Disable logging for benchmarks *) let max_mug_depth = ref (-1) let show_mugs = ref false @@ -104,24 +104,24 @@ let rec nock_on init_bus init_fol = let b_gal = head gal in (* Debug first call *) - if my_call = 0 then begin + (* if my_call = 0 then begin Printf.eprintf "[Op2 Debug] Computing formula (tail gal):\n%!"; Printf.eprintf " c_gal mug: 0x%lx\n%!" (mug c_gal); - end; + end; *) let nex = nock_on !bus c_gal in - if my_call = 0 then begin + (* if my_call = 0 then begin Printf.eprintf " nex mug: 0x%lx\n%!" (mug nex); Printf.eprintf "[Op2 Debug] Computing subject (head gal):\n%!"; Printf.eprintf " b_gal mug: 0x%lx\n%!" (mug b_gal); - end; + end; *) let seb = nock_on !bus b_gal in - if my_call = 0 then begin + (* if my_call = 0 then begin Printf.eprintf " seb mug: 0x%lx\n%!" (mug seb); - end; + end; *) bus := seb; fol := nex; |