From 33b9b16dd75ae8cd208a139121a98a0e8783c99d Mon Sep 17 00:00:00 2001 From: Florian Angeletti Date: Mon, 29 Jun 2020 11:49:37 +0200 Subject: [PATCH] Changes bookkeeping: 9556 is not in 4.11 --- Changes | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Changes b/Changes index dd26f1a48..df495d372 100644 --- a/Changes +++ b/Changes @@ -229,6 +229,10 @@ Working version ### Bug fixes: +- #7902, #9556: Type-checker infers recursive type, even though -rectypes is + off. + (Jacques Garrigue, report by Francois Pottier, review by Leo White) + - #8747, #9709: incorrect principality warning on functional updates of records (Jacques Garrigue, report and review by Thomas Refis) @@ -673,9 +677,6 @@ OCaml 4.11 - #7897, #9537: Fix warning 38 for rebound extension constructors (Leo White, review by Florian Angeletti) -- #7902, #9556: Type-checker infers recursive type, eventhough -rectypes is off. - (Jacques Garrigue, report by Francois Pottier, review by Leo White) - - #7917, #9426: Use GCC option -fexcess-precision=standard when available, avoiding a problem with x87 excess precision in Float.round. (Xavier Leroy, review by Sébastien Hinderer)