Hygiene

lthls · Sep 26, 2023 · b228bb1 · b228bb1
1 parent 95b4a90
commit b228bb1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git 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
@@ -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: