Mentions légales du service

Skip to content
Snippets Groups Projects
Commit a288f05d authored by POTTIER Francois's avatar POTTIER Francois
Browse files

CHANGES.

parent 416b5b28
Branches
Tags 20220121
No related merge requests found
# CHANGES
## 2022/01/21
* The functor `Memoize.Make` now requires just `MINIMAL_IMPERATIVE_MAPS`
instead of `IMPERATIVE_MAPS`, which was needlessly strong.
* The functor `Glue.WeakHashTablesAsImperativeMaps` now provides only
`MINIMAL_IMPERATIVE_MAPS` instead of `IMPERATIVE_MAPS`. This change
is made for compatibility with the new ephemeron API in OCaml 5.
## 2021/12/31
* Improved documentation.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment