Currently Fedora 29 ships 4.07.0 version, but 4.07.1 bugfix release was here already for a while, it makes sense to update. https://github.com/ocaml/ocaml/releases/tag/4.07.1 OCaml 4.07.1 (4 October 2018) ----------------------------- ### Bug fixes: - MPR#7815, GPR#1896: major GC crash with first-fit policy (Stephen Dolan and Damien Doligez, report by Joris Giovannangeli) * MPR#7818, GPR#2051: Remove local aliases in functor argument types, to prevent the aliasing of their target. (Jacques Garrigue, report by mandrykin, review by Leo White) - MPR#7820, GPR#1897: Fix Array.of_seq. This function used to apply a circular permutation of one cell to the right on the sequence. (Thierry Martinez, review by Nicolás Ojeda Bär) - MPR#7821, GPR#1908: make sure that the compilation of extension constructors doesn't cause the compiler to load more cmi files (Jérémie Dimino, review by Gabriel Scherer) - MPR#7824, GPR#1914: subtype_row: filter out absent fields when row is closed (Leo White and Thomas Refis, report by talex, review by Jacques Garrigue) - GPR#1915: rec_check.ml is too permissive for certain class declarations. (Alban Reynaud with Gabriel Scherer, review by Jeremy Yallop) - MPR#7833, GPR#1946: typecore: only 1k existential per match, not 100k (Thomas Refis, report by Jerome Simeon, review by Jacques Garrigue) - MPR#7838: -principal causes assertion failure in type checker (Jacques Garrigue, report by Markus Mottl, review by Thomas Refis)
I got half way through doing the upgrade a few weeks back, but the tests fail for unknown reasons. Need to have a closer look.
Were these any updates on this bug?
Not at the moment.
*** This bug has been marked as a duplicate of bug 1673688 ***