diff options
Diffstat (limited to 'ocaml/lib/nock.ml')
| -rw-r--r-- | ocaml/lib/nock.ml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/ocaml/lib/nock.ml b/ocaml/lib/nock.ml index ee06eeb..5658ed7 100644 --- a/ocaml/lib/nock.ml +++ b/ocaml/lib/nock.ml @@ -44,7 +44,14 @@ let rec nock_on init_bus init_fol = let rec loop () = let my_call = !call_count in - let should_log = my_call < max_calls in + + (* Check if this is opcode 0 (slot lookup) - C doesn't log these *) + let is_slot = match !fol with + | Cell { h = Atom { z = op; _ }; _ } when Z.fits_int op && Z.to_int op = 0 -> true + | _ -> false + in + + let should_log = my_call < max_calls && not is_slot in (* Log entry *) if should_log then begin |