File tree Expand file tree Collapse file tree 2 files changed +1
-2
lines changed Expand file tree Collapse file tree 2 files changed +1
-2
lines changed Original file line number Diff line number Diff line change @@ -345,7 +345,6 @@ let info_from_sexp info =
345345 let build_info =
346346 info |> member " build_info" |> mandatory (single Build_info. from_sexp)
347347 in
348-
349348 let predefined_exceptions =
350349 info
351350 |> member " predefined_exceptions"
Original file line number Diff line number Diff line change @@ -45,7 +45,7 @@ let rec merge (u : t) (v : t) =
4545 , Function { arity = a2; pure = p2; res = r2 } ) ->
4646 if a1 = a2 then Function { arity = a1; pure = p1 && p2; res = merge r1 r2 } else Top
4747 | Block b1 , Block b2 ->
48- if List. length b1 = List. length b2 then Block (List. map2 b1 b2 ~f: merge) else Top
48+ if List. compare_lengths b1 b2 = 0 then Block (List. map2 b1 b2 ~f: merge) else Top
4949 | Top , _ | _ , Top -> Top
5050 | Function _ , Block _ | Block _ , Function _ -> Top
5151
You can’t perform that action at this time.
0 commit comments