Bug 1647297

Summary:	OCaml-4.07.1 version bump (bugfix release)
Product:	[Fedora] Fedora	Reporter:	Anton Kochkov <anton.kochkov>
Component:	ocaml	Assignee:	Richard W.M. Jones <rjones>
Status:	CLOSED DUPLICATE	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	29	CC:	c.david86, gemi, rjones
Target Milestone:	---
Target Release:	---
Hardware:	All
OS:	Linux
Whiteboard:
Fixed In Version:		Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2019-04-26 07:47:29 UTC	Type:	Bug
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:

Description Anton Kochkov 2018-11-07 05:18:37 UTC

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)

Comment 1 Richard W.M. Jones 2018-11-07 10:23:24 UTC

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.

Comment 2 Anton Kochkov 2019-01-03 07:30:22 UTC

Were these any updates on this bug?

Comment 3 Richard W.M. Jones 2019-01-03 08:21:29 UTC

Not at the moment.

Comment 4 Richard W.M. Jones 2019-04-26 07:47:29 UTC


*** This bug has been marked as a duplicate of bug 1673688 ***