goldfirere's comment tweaks

Co-authored-by: Richard Eisenberg <reisenberg@janestreet.com>
ocaml-flambda · Dec 26, 2024 · d5f5a5a · d5f5a5a
1 parent 2247db3
commit d5f5a5a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/typing/ctype.mli b/typing/ctype.mli
@@ -585,7 +585,7 @@ val get_unboxed_type_approximation : Env.t -> type_expr -> type_expr
        was fully expanded or not. *)
 
 val contained_without_boxing : Env.t -> type_expr -> type_expr list
-    (* Return all types that are contained without boxing
+    (* Return all types that are directly contained without boxing
       (or "without indirection" or "flatly") *)
 
 (* Given the row from a variant type, determine if it is immediate.  Currently

diff --git a/typing/typedecl.ml b/typing/typedecl.ml
@@ -2066,7 +2066,7 @@ let check_well_founded_decl  ~abs_env env loc path decl to_check =
    otherwise the type is uninhabitable and usually also infinite-size.
    See [typing-layouts-unboxed-records/recursive.ml].
 
-   Because `check_well_founded` already ruled out recursion through structural
+   Because [check_well_founded] already ruled out recursion through structural
    types (for this check, we care about unboxed tuples and aliases), we just
    look for a cycle in nominal unboxed types ([@@unboxed] types and unboxed
    records), tracking the set of seen paths.