Merge pull request #12191 from Octachron/fix_value_constraint

#12188: fix coercion in value bindings
ocaml · May 24, 2023 · 17f818b · 17f818b
2 parents 5a4cbf8 + c5f2aa0
commit 17f818b
Show file tree

Hide file tree

Showing 15 changed files with 3,064 additions and 2,988 deletions.
diff --git a/Changes b/Changes
@@ -688,7 +688,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)