Add Changes entry for interaction between labels & let rec check.

ocaml-flambda · Apr 10, 2018 · 74e0eeb · 74e0eeb
1 parent a5db2dc
commit 74e0eeb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Changes b/Changes
@@ -48,6 +48,10 @@ OCaml 4.07
 
 ### Type system:
 
+- MPR#7767, GPR#1712: restore legacy treatment of partially-applied
+  labeled functions in 'let rec' bindings.
+  (Jeremy Yallop, report by Ivan Gotovchits, review by Gabriel Scherer)
+
 - MPR#7611, GPR#1491: reject the use of generative functors as applicative
   (Valentin Gatien-Baron)