diff options
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -77,7 +77,8 @@ Bug fixes: - PR#6241: Assumed inequality between paths involving functor arguments - PR#6243: Make "ocamlopt -g" more resistant to ill-formed locations - PR#6239: sometimes wrong stack alignment when raising exceptions - in -g mode with backtraces active + in -g mode with backtraces active +- PR#6275: Soundness bug related to type constraints OCaml 4.01.0: |