fixup! Inline functions recursively

Author: vouillon

compiler/lib/inline.ml

@@ -577,7 +577,10 @@ let rec inline_recursively ~context ~info p params (pc, _) args =
                      considers all possible values of [f], before the
                      current function is inlined, not just the one
                      called after inlining. We have checked in
-                     [relevant_arguments] that the call was exact. *)
+                     [relevant_arguments] that the call was exact.
+                     We have also checked that it made sense to inline
+                     this call. In particular, this function is
+                     applied only once. *)
                   let f = Var.Map.find f subst in
                   inline_function ~context i x f args rem state
               | _ -> i :: rem, state)