Thanks for this information. Alas, the most recent common ancestor between Arthur Charguéraud's changes and the integration of PR#6468 into master seems to be commit c82c004286dae541583a45cff042624b3770b7a0 in the git repo, which dates back to 2014-05-12 (exactly 1 year ago).
My near-zero understanding of the internals of the OCaml implementation does not enable me to merge. -- Cordialement, Yann Salmon Informatique MPSI, PCSI, MP*, PC* Descartes - Tours <http://pro.yannsalmon.fr/> _______________________________________________ Teaching mailing list [email protected] http://lists.ocaml.org/listinfo/teaching
