File tree Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -345,7 +345,6 @@ let info_from_sexp info =
345
345
let build_info =
346
346
info |> member " build_info" |> mandatory (single Build_info. from_sexp)
347
347
in
348
-
349
348
let predefined_exceptions =
350
349
info
351
350
|> member " predefined_exceptions"
Original file line number Diff line number Diff line change @@ -45,7 +45,9 @@ let rec merge (u : t) (v : t) =
45
45
, Function { arity = a2; pure = p2; res = r2 } ) ->
46
46
if a1 = a2 then Function { arity = a1; pure = p1 && p2; res = merge r1 r2 } else Top
47
47
| 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
49
+ then Block (List. map2 b1 b2 ~f: merge)
50
+ else Top
49
51
| Top , _ | _ , Top -> Top
50
52
| Function _ , Block _ | Block _ , Function _ -> Top
51
53
You can’t perform that action at this time.
0 commit comments