From b228bb1c3574f8514e17bee8df0e32316baeab7c Mon Sep 17 00:00:00 2001
From: Vincent Laviron <vincent.laviron@gmail.com>
Date: Tue, 26 Sep 2023 15:23:07 +0200
Subject: [PATCH] Hygiene

---
 .depend | 2 ++
 Changes | 6 ++++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/.depend b/.depend
index be45c688919c..1204d69a5349 100644
--- a/.depend
+++ b/.depend
@@ -4652,11 +4652,13 @@ middle_end/flambda/flambda_invariants.cmi : \
     middle_end/flambda/flambda.cmi
 middle_end/flambda/flambda_iterators.cmo : \
     middle_end/variable.cmi \
+    typing/typedtree.cmi \
     utils/int_replace_polymorphic_compare.cmi \
     middle_end/flambda/flambda.cmi \
     middle_end/flambda/flambda_iterators.cmi
 middle_end/flambda/flambda_iterators.cmx : \
     middle_end/variable.cmx \
+    typing/typedtree.cmx \
     utils/int_replace_polymorphic_compare.cmx \
     middle_end/flambda/flambda.cmx \
     middle_end/flambda/flambda_iterators.cmi
diff --git a/Changes b/Changes
index cee71a4b03ed..d534643d6599 100644
--- a/Changes
+++ b/Changes
@@ -139,8 +139,10 @@ Working version
   were not correctly rounded sometimes.
   (Xavier Leroy, review by Anil Madhavapeddy and Tim McGilchrist)
 
-- #12551: Propagate classification of recursive bindings from Rec_check
-  (Vincent Laviron, review by Gabriel Scherer)
+- #12551, #12608: Overhaul of recursive value compilation.
+  Extend the Rec_check classification to handle constants, propagate the
+  classification through the compiler.
+  (Vincent Laviron and Lunia Ayanides, review by Gabriel Scherer)
 
 ### Standard library: