parser.mly: location fixes for type constraints and punning (#10555)

- do not use ghost locations for type constraints - better locs for type constr in record expr/patterns - give correct location to punned label in record expr - mark punned label as ghost in object clone expr - mark punned labels locs as ghost
ocaml · Aug 5, 2021 · 80482ed · 80482ed
1 parent 53430f2
commit 80482ed
Show file tree

Hide file tree

Showing 5 changed files with 1,042 additions and 1,002 deletions.
diff --git a/Changes b/Changes
@@ -86,6 +86,9 @@ Working version
   Types
   (Nicolas Chataing, review by Jacques Garrigue)
 
+- #10555: Do not use ghost locations for type constraints
+  (Nicolás Ojeda Bär, report by Anton Bachin, review by Thomas Refis)
+
 ### Build system:
 
 - #10471: Fix detection of arm32 architectures with musl in the configure