comby-tools/comby
1
1
Fork 0
mirror of https://github.com/comby-tools/comby.git synced 2024-10-04 00:34:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

lazy max_steps

Browse Source
This commit is contained in:
Rijnard van Tonder 2021-06-26 22:40:05 -07:00
parent 4d928e3bff
commit 5886796aae
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/kernel/vendored/vangstrom/lib/vangstrom.ml
View File

@ -462,7 +462,7 @@ let fix_direct f =
r r
let fix_lazy f = let fix_lazy f =
let max_steps = 20 in let max_steps = 1 in
let steps = ref max_steps in let steps = ref max_steps in
let rec p = lazy (f r) let rec p = lazy (f r)
and r = { run = fun buf pos more fail succ -> and r = { run = fun buf pos more fail succ ->