Add suggested comment

ocaml-flambda · Sep 11, 2023 · 0885f05 · 0885f05
1 parent 172aa7a
commit 0885f05
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ocaml/typing/typecore.ml b/ocaml/typing/typecore.ml
@@ -7685,6 +7685,8 @@ and type_let
   (l, new_env)
 
 and type_andops env sarg sands expected_sort expected_ty =
+  (* Pass arguments to [loop] to avoid allocating closure; [env] and [let_sarg]
+     get passed down unchanged. *)
   let rec loop env let_sarg rev_sands expected_sort expected_ty =
     match rev_sands with
     | [] ->