Pitfalls with Tail Calls and Locals in OCaml | OCaml Unboxed
Jane Street · 15:59
Jane Street’s OCaml local-mode compiler treats a function’s allocation region as ending immediately before any tail call, so a local closure that captures a local list cell cannot be used in tail position—even when th...