Skip to content

Commit 6b7444a

Browse files
committed
make fmt
1 parent 7a99b30 commit 6b7444a

File tree

2 files changed

+13
-8
lines changed

2 files changed

+13
-8
lines changed

middle_end/flambda2/from_lambda/lambda_to_flambda.ml

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1321,7 +1321,8 @@ let rec cps acc env ccenv (lam : L.lambda) (k : cps_continuation)
13211321
[Begin_region] with its parent region. This use of the parent region will
13221322
ensure that the parent does not get deleted unless the try region is
13231323
unused. *)
1324-
CC.close_let acc ccenv region Not_user_visible Flambda_kind.With_subkind.region
1324+
CC.close_let acc ccenv region Not_user_visible
1325+
Flambda_kind.With_subkind.region
13251326
(Begin_region { try_region_parent = Some (Env.current_region env) })
13261327
~body:(fun acc ccenv ->
13271328
maybe_insert_let_cont "try_with_result" kind k acc env ccenv
@@ -1412,7 +1413,8 @@ let rec cps acc env ccenv (lam : L.lambda) (k : cps_continuation)
14121413
continuation for the code after the body. *)
14131414
let region = Ident.create_local "region" in
14141415
let dbg = Debuginfo.none in
1415-
CC.close_let acc ccenv region Not_user_visible Flambda_kind.With_subkind.region
1416+
CC.close_let acc ccenv region Not_user_visible
1417+
Flambda_kind.With_subkind.region
14161418
(Begin_region { try_region_parent = None })
14171419
~body:(fun acc ccenv ->
14181420
maybe_insert_let_cont "body_return" Pgenval k acc env ccenv

middle_end/flambda2/simplify_shared/slot_offsets.ml

Lines changed: 9 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -192,21 +192,24 @@ module Layout = struct
192192
let startenv, acc_slots =
193193
match startenv, acc_slots, is_scanned with
194194
| Some i, _, _ ->
195-
assert (is_scanned);
195+
assert is_scanned;
196196
assert (i < offset);
197197
startenv, acc_slots
198198
| None, (o, Function_slot s) :: r, _ ->
199199
( (if is_scanned then Some offset else None),
200200
(o, Function_slot { s with last_function_slot = true }) :: r )
201-
| None, [], _ -> Misc.fatal_errorf "Set of closures with no closure slot"
201+
| None, [], _ ->
202+
Misc.fatal_errorf "Set of closures with no closure slot"
202203
| None, _, false -> None, acc_slots
203204
| None, (_, Value_slot { is_scanned = false; _ }) :: _, true ->
204205
Some offset, acc_slots
205-
| None, (_, ((Value_slot { is_scanned = true; _ } | Infix_header) as slot)) :: _, true ->
206+
| ( None,
207+
(_, ((Value_slot { is_scanned = true; _ } | Infix_header) as slot))
208+
:: _,
209+
true ) ->
206210
Misc.fatal_errorf
207-
"Expected a function slot or a non-scanned value slot \
208-
right before the first value slot, but \
209-
found %a"
211+
"Expected a function slot or a non-scanned value slot right before \
212+
the first value slot, but found %a"
210213
print_slot slot
211214
in
212215
let acc_slots = (offset, slot) :: acc_slots in

0 commit comments

Comments
 (0)