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/c3bf86990088236cee...
---
LGTM.
Maybe we need to add an OCaml version check in configure?
--
Pino Toscano