We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b9b4386 commit 6b98b01Copy full SHA for 6b98b01
compiler/lib/inline.ml
@@ -354,7 +354,7 @@ let rec small_function ~context info args =
354
let info' = Var.Map.find arg context.env in
355
let arity = List.assoc param relevant_params in
356
if
357
- List.length info'.params = arity
+ List.compare_length_with info'.params ~len:arity = 0
358
&& should_inline
359
~context:
360
{ context with
@@ -511,7 +511,7 @@ let inline_function p rem branch x params cont args =
511
parameters are used in the function body. *)
512
let fresh_addr = free_pc in
513
let free_pc = fresh_addr + 1 in
514
- assert (List.length args = List.length params);
+ assert (List.compare_lengths args params = 0);
515
let blocks =
516
Addr.Map.add fresh_addr { params; body = []; branch = Branch cont } blocks
517
in
0 commit comments