Skip to content

Commit 4749264

Browse files
committed
Eta expand
1 parent d54b424 commit 4749264

File tree

1 file changed

+8
-7
lines changed

1 file changed

+8
-7
lines changed

middle_end/flambda2/from_lambda/closure_conversion.ml

Lines changed: 8 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -247,9 +247,10 @@ module Inlining = struct
247247
~are_rebuilding_terms decision;
248248
res
249249

250-
let make_inlined_body acc ~callee ~params ~args ~my_closure ~my_depth ~body
251-
~free_names_of_body ~exn_continuation ~return_continuation
252-
~apply_exn_continuation ~apply_return_continuation ~apply_depth =
250+
let make_inlined_body acc ~callee ~region_inlined_into ~params ~args
251+
~my_closure ~my_region ~my_depth ~body ~free_names_of_body
252+
~exn_continuation ~return_continuation ~apply_exn_continuation
253+
~apply_return_continuation ~apply_depth =
253254
let rec_info =
254255
match apply_depth with
255256
| None -> Rec_info_expr.initial
@@ -278,10 +279,10 @@ module Inlining = struct
278279
in
279280
acc, Expr.apply_renaming body renaming
280281
in
281-
Inlining_helpers.make_inlined_body ~callee ~params ~args ~my_closure
282-
~my_depth ~rec_info ~body:(acc, body) ~exn_continuation
283-
~return_continuation ~apply_exn_continuation ~apply_return_continuation
284-
~bind_params ~bind_depth ~apply_renaming
282+
Inlining_helpers.make_inlined_body ~callee ~region_inlined_into ~params
283+
~args ~my_closure ~my_region ~my_depth ~rec_info ~body:(acc, body)
284+
~exn_continuation ~return_continuation ~apply_exn_continuation
285+
~apply_return_continuation ~bind_params ~bind_depth ~apply_renaming
285286

286287
let wrap_inlined_body_for_exn_extra_args acc ~extra_args
287288
~apply_exn_continuation ~apply_return_continuation ~result_arity

0 commit comments

Comments
 (0)