Displaying 1 result from an estimated 1 matches for "75999e9".
Did you mean:
759999
2015 Oct 07
1
Re: [PATCH 1/4] ocaml: Use generational global roots.
On Tuesday 06 October 2015 16:05:44 Richard W.M. Jones wrote:
> These are considerably more efficient than ordinary global roots, but
> with the caveat that the program is not allowed to modify them without
> calling a special function. We don't modify them, so this change is
> safe.
>
> This requires OCaml >= 3.11, but we have that on RHEL 6
> (since we dropped