diff options
Diffstat (limited to 'ocaml/lib/nock.ml')
| -rw-r--r-- | ocaml/lib/nock.ml | 14 |
1 files changed, 7 insertions, 7 deletions
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; |