diff options
| author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-27 20:36:01 +0100 |
|---|---|---|
| committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-27 20:36:01 +0100 |
| commit | eb44c244b15834bfbec56767e5374ffa6270f715 (patch) | |
| tree | e00f28046dd6c14df651fd647441c45d644a6a40 /middle_end | |
| parent | 18a0fbb62f50bd06c0aa76395493437e0a9f4ee3 (diff) | |
| parent | 5e4b55d3bd3fdf3e7512c132ad36d103d7131e72 (diff) | |
| download | ocaml-eb44c244b15834bfbec56767e5374ffa6270f715.tar.gz | |
Merge commit '5e4b55d3bd3fdf3e7512c132ad36d103d7131e72' into parallel_minor_gc_4_10
Diffstat (limited to 'middle_end')
| -rw-r--r-- | middle_end/flambda/inlining_transforms.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/middle_end/flambda/inlining_transforms.ml b/middle_end/flambda/inlining_transforms.ml index b08e62bb0a..c46a6cbe6c 100644 --- a/middle_end/flambda/inlining_transforms.ml +++ b/middle_end/flambda/inlining_transforms.ml @@ -118,7 +118,7 @@ let inline_by_copying_function_body ~env ~r && ((not default_inline) || (not default_specialise)) then (* When the function inlined function is a stub, the annotation is reported to the function applications inside the stub. - This allows to report the annotation to the application the + This allows reporting the annotation to the application the original programmer really intended: the stub is not visible in the source. *) set_inline_attribute_on_all_apply body |