diff options
| author | Leo White <leo@lpw25.net> | 2019-06-28 14:31:42 +0100 |
|---|---|---|
| committer | Leo White <leo@lpw25.net> | 2019-06-28 16:17:00 +0100 |
| commit | 11edca87984441924c86b64b1358481251783d18 (patch) | |
| tree | ad8292fe47c17f1a333d86ed550ced140af16717 /Changes | |
| parent | 30a210100cddd3bebba4f690cebae8856845be11 (diff) | |
| download | ocaml-11edca87984441924c86b64b1358481251783d18.tar.gz | |
Fix #8769 (#8770)
* Don't generate illegal Pfield's when compiling alias coercions
* Simplify lambda code when compiling packs
* Add regression test for pr8769
* Add Changes entry
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -344,6 +344,9 @@ OCaml 4.09.0 - #8701, #8725: Variance of constrained parameters causes principality issues (Jacques Garrigue, report by Leo White, review by Gabriel Scherer) +- #8769, #8770: Fix assertion failure with -pack + (Leo White, review by Gabriel Scherer, report by Fabian @copy) + OCaml 4.08.0 ------------ |