Adding change log for #16288

coq · Mar 6, 2023 · 8747ab0 · 8747ab0
1 parent 898db8c
commit 8747ab0
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/doc/changelog/13-misc/17321-master+fix16288-extraction-prim-field-functor.rst b/doc/changelog/13-misc/17321-master+fix16288-extraction-prim-field-functor.rst
@@ -0,0 +1,7 @@
+- **Fixed:**
+  Wrongly self-referencing extraction of primitive projections to OCaml in functors
+  (`#17321 <https://github.com/coq/coq/pull/17321>`_,
+  fixes `#16288 <https://github.com/coq/coq/issues/16288>`_,
+  by Hugo Herbelin). Note that OCaml wrappers assuming that the
+  applicative syntax of projections is provided may have
+  to use the dot notation instead.