From af4027338741086e06ff86ab4e3b324d9ca55743 Mon Sep 17 00:00:00 2001 From: Keryan Didier Date: Fri, 18 Jun 2021 18:44:19 +0200 Subject: [PATCH] guarded lambda traversal for specific clflag (#476) --- middle_end/flambda/from_lambda/cps_conversion.ml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/middle_end/flambda/from_lambda/cps_conversion.ml b/middle_end/flambda/from_lambda/cps_conversion.ml index 596e6c20e01a..3584609d43c8 100644 --- a/middle_end/flambda/from_lambda/cps_conversion.ml +++ b/middle_end/flambda/from_lambda/cps_conversion.ml @@ -1420,7 +1420,12 @@ and cps_function env ~fid ~stub Closure_id.wrap (Compilation_unit.get_current_exn ()) (Variable.create_with_same_name_as_ident fid) in - let contains_closures = contains_functions body in + let contains_closures = + (* only useful with this flag *) + if !Clflags.Flambda.Expert.fallback_inlining_heuristic + then contains_functions body + else false + in let body = fun acc ccenv -> cps_tail acc new_env ccenv body body_cont body_exn_cont in