Stdlib injectivity annotations: Changes.

ocaml · Jul 18, 2020 · 0445e39 · 0445e39
1 parent fb2f26a
commit 0445e39
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Changes b/Changes
@@ -105,6 +105,9 @@ Working version
 
 ### Standard library:
 
+- #9781: add injectivity annotations to parameterized abstract types
+  (Jeremy Yallop, review by ?)
+
 * #9554: add primitive __FUNCTION__ that returns the name of the current method
   or function, including any enclosing module or class.
   (Nicolás Ojeda Bär, Stephen Dolan, review by Stephen Dolan)