diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-17 17:14:46 +0100 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-17 17:14:46 +0100 |
commit | 75c9063f15ed9b0ee3609570a064ef11c26410a7 (patch) | |
tree | 3d830d53d8a18132b04f6805f8fab5d52d038b13 /middle_end | |
parent | 5f4450460b5296d54375072a084a23e8a2e95628 (diff) | |
parent | 1dba5329a2ea19320ed2ed019e367bf9e99a6618 (diff) | |
download | ocaml-75c9063f15ed9b0ee3609570a064ef11c26410a7.tar.gz |
Merge commit '1dba5329a2ea19320ed2ed019e367bf9e99a6618' into parallel_minor_gc_4_09
Diffstat (limited to 'middle_end')
-rw-r--r--[-rwxr-xr-x] | middle_end/alias_analysis.ml | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/augment_specialised_args.ml | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/backend_intf.mli | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/base_types/set_of_closures_id.mli | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/closure_conversion.ml | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/closure_conversion_aux.mli | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/flambda.mli | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/flambda_invariants.ml | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/inconstant_idents.ml | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/inline_and_simplify.ml | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/inline_and_simplify_aux.mli | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/inlining_decision.ml | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/inlining_transforms.ml | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/invariant_params.ml | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/remove_free_vars_equal_to_args.ml | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | middle_end/unbox_specialised_args.ml | 0 |
16 files changed, 0 insertions, 0 deletions
diff --git a/middle_end/alias_analysis.ml b/middle_end/alias_analysis.ml index fe97a36f51..fe97a36f51 100755..100644 --- a/middle_end/alias_analysis.ml +++ b/middle_end/alias_analysis.ml diff --git a/middle_end/augment_specialised_args.ml b/middle_end/augment_specialised_args.ml index c3a3078512..c3a3078512 100755..100644 --- a/middle_end/augment_specialised_args.ml +++ b/middle_end/augment_specialised_args.ml diff --git a/middle_end/backend_intf.mli b/middle_end/backend_intf.mli index c9e009283c..c9e009283c 100755..100644 --- a/middle_end/backend_intf.mli +++ b/middle_end/backend_intf.mli diff --git a/middle_end/base_types/set_of_closures_id.mli b/middle_end/base_types/set_of_closures_id.mli index 811cb66102..811cb66102 100755..100644 --- a/middle_end/base_types/set_of_closures_id.mli +++ b/middle_end/base_types/set_of_closures_id.mli diff --git a/middle_end/closure_conversion.ml b/middle_end/closure_conversion.ml index 4aa702fb4f..4aa702fb4f 100755..100644 --- a/middle_end/closure_conversion.ml +++ b/middle_end/closure_conversion.ml diff --git a/middle_end/closure_conversion_aux.mli b/middle_end/closure_conversion_aux.mli index f16f05f0d7..f16f05f0d7 100755..100644 --- a/middle_end/closure_conversion_aux.mli +++ b/middle_end/closure_conversion_aux.mli diff --git a/middle_end/flambda.mli b/middle_end/flambda.mli index 325c15ee1c..325c15ee1c 100755..100644 --- a/middle_end/flambda.mli +++ b/middle_end/flambda.mli diff --git a/middle_end/flambda_invariants.ml b/middle_end/flambda_invariants.ml index 250a2e9af7..250a2e9af7 100755..100644 --- a/middle_end/flambda_invariants.ml +++ b/middle_end/flambda_invariants.ml diff --git a/middle_end/inconstant_idents.ml b/middle_end/inconstant_idents.ml index 59f8aa8a8c..59f8aa8a8c 100755..100644 --- a/middle_end/inconstant_idents.ml +++ b/middle_end/inconstant_idents.ml diff --git a/middle_end/inline_and_simplify.ml b/middle_end/inline_and_simplify.ml index 74fd021bb9..74fd021bb9 100755..100644 --- a/middle_end/inline_and_simplify.ml +++ b/middle_end/inline_and_simplify.ml diff --git a/middle_end/inline_and_simplify_aux.mli b/middle_end/inline_and_simplify_aux.mli index 79d84a31b8..79d84a31b8 100755..100644 --- a/middle_end/inline_and_simplify_aux.mli +++ b/middle_end/inline_and_simplify_aux.mli diff --git a/middle_end/inlining_decision.ml b/middle_end/inlining_decision.ml index ca462a5613..ca462a5613 100755..100644 --- a/middle_end/inlining_decision.ml +++ b/middle_end/inlining_decision.ml diff --git a/middle_end/inlining_transforms.ml b/middle_end/inlining_transforms.ml index b08e62bb0a..b08e62bb0a 100755..100644 --- a/middle_end/inlining_transforms.ml +++ b/middle_end/inlining_transforms.ml diff --git a/middle_end/invariant_params.ml b/middle_end/invariant_params.ml index a43cfdace1..a43cfdace1 100755..100644 --- a/middle_end/invariant_params.ml +++ b/middle_end/invariant_params.ml diff --git a/middle_end/remove_free_vars_equal_to_args.ml b/middle_end/remove_free_vars_equal_to_args.ml index 6327d30cda..6327d30cda 100755..100644 --- a/middle_end/remove_free_vars_equal_to_args.ml +++ b/middle_end/remove_free_vars_equal_to_args.ml diff --git a/middle_end/unbox_specialised_args.ml b/middle_end/unbox_specialised_args.ml index 70eb87601a..70eb87601a 100755..100644 --- a/middle_end/unbox_specialised_args.ml +++ b/middle_end/unbox_specialised_args.ml |