Short dependent functor syntax: changes entry

ocaml · Dec 14, 2023 · 3a64baf · 3a64baf
1 parent 87b4435
commit 3a64baf
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Changes b/Changes
@@ -12,6 +12,9 @@ Working version
 
 ### Language features:
 
+- #12828: Add short syntax for dependent functor types `(X:A) -> ...`
+  (Jeremy Yallop, review by ?)
+
 - #12295, #12568: Give `while true' a polymorphic type, similarly to
   `assert false'
   (Jeremy Yallop, review by Nicolás Ojeda Bär and Gabriel Scherer,