Changes bookkeeping: 9556 is not in 4.11
parent
e0ec63ae21
commit
33b9b16dd7
7
Changes
7
Changes
|
@ -229,6 +229,10 @@ Working version
|
||||||
|
|
||||||
### Bug fixes:
|
### 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
|
- #8747, #9709: incorrect principality warning on functional updates of records
|
||||||
(Jacques Garrigue, report and review by Thomas Refis)
|
(Jacques Garrigue, report and review by Thomas Refis)
|
||||||
|
|
||||||
|
@ -673,9 +677,6 @@ OCaml 4.11
|
||||||
- #7897, #9537: Fix warning 38 for rebound extension constructors
|
- #7897, #9537: Fix warning 38 for rebound extension constructors
|
||||||
(Leo White, review by Florian Angeletti)
|
(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,
|
- #7917, #9426: Use GCC option -fexcess-precision=standard when available,
|
||||||
avoiding a problem with x87 excess precision in Float.round.
|
avoiding a problem with x87 excess precision in Float.round.
|
||||||
(Xavier Leroy, review by Sébastien Hinderer)
|
(Xavier Leroy, review by Sébastien Hinderer)
|
||||||
|
|
Loading…
Reference in New Issue