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 support for RHEL 5). > > See also: > http://caml.inria.fr/pub/ml-archives/caml-list/2008/03/c3bf86990088236ceeb9a0f0f4c35390.en.html > --- LGTM. Maybe we need to add an OCaml version check in configure? -- Pino Toscano
Description: This is a digitally signed message part.