diff options
Diffstat (limited to 'ocaml/lib/nock.ml')
| -rw-r--r-- | ocaml/lib/nock.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ocaml/lib/nock.ml b/ocaml/lib/nock.ml index 2f52922..ac6a2ad 100644 --- a/ocaml/lib/nock.ml +++ b/ocaml/lib/nock.ml @@ -28,7 +28,8 @@ open Noun let call_count = ref 0 let depth = ref 0 let max_calls = 100 -let max_mug_depth = -1 (* Disabled: need mug caching like C before enabling *) +let max_mug_depth = -1 (* Disabled: even cached, initial mug of huge ivory pill is slow *) +(* TODO: Enable selectively after verifying structural correctness *) (* Helper to generate indentation based on depth *) let indent () = |