ocaml#12188: fix coercion on value bindings

Octachron · Apr 18, 2023 · fa5817b · fa5817b
1 parent 250c12c
commit fa5817b
Show file tree

Hide file tree

Showing 13 changed files with 2,970 additions and 2,912 deletions.
diff --git a/Changes b/Changes
@@ -624,7 +624,8 @@ OCaml 5.1.0
   cu_required_globals field of compilation unit descriptors.
   (Sébastien Hinderer, review by Vincent Laviron)
 
-- #12119: mirror type constraints on value binding in the parsetree:
+- #12119, #12188, #12191: mirror type constraints on value binding in the
+  parsetree:
   the constraint `typ` in `let pat : typ = exp` is now directly stored
   in the value binding node in the parsetree.
   (Florian Angeletti, review by  Richard Eisenberg)