diff options
| author | polwex <polwex@sortug.com> | 2025-10-06 22:29:18 +0700 |
|---|---|---|
| committer | polwex <polwex@sortug.com> | 2025-10-06 22:29:18 +0700 |
| commit | bf4c5ff0fd28d94b7f22552a79e6fbe2561fe6cf (patch) | |
| tree | 334ae07918339f297bc28c7ca5367fee6f844ccc /ocaml/lib/nock.ml | |
| parent | da03400d5857aab4c809c34f0416d1c09c4fed12 (diff) | |
so so good
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 () = |