diff options
| author | Mark Shinwell <mshinwell@gmail.com> | 2019-04-01 17:18:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-01 17:18:47 +0100 |
| commit | 72ea849d2a16de0abb42afd85c014cb136822e1f (patch) | |
| tree | 9178fb72e0d692f0dd0a680ce4da4e60dae0be3b /middle_end/inlining_decision_intf.mli | |
| parent | 36d299b4aaf7f2d317fbfa148d7f94e720c80730 (diff) | |
| download | ocaml-72ea849d2a16de0abb42afd85c014cb136822e1f.tar.gz | |
Move some middle-end files around (#2281)
* Various file moves in the middle end: this is the first stage of improving separation between the middle end and backend.
* Creation of file_formats/ directory (with associated file moves) to hold the definitions of compilation artifact formats.
* Creation of lambda/ directory (with associated file moves) to hold Lambda language definition files, transformation passes and construction passes from Typedtree.
* Disable (hopefully temporarily) dynlink, debugger and ocamldoc for the dune build.
Diffstat (limited to 'middle_end/inlining_decision_intf.mli')
| -rw-r--r-- | middle_end/inlining_decision_intf.mli | 49 |
1 files changed, 0 insertions, 49 deletions
diff --git a/middle_end/inlining_decision_intf.mli b/middle_end/inlining_decision_intf.mli deleted file mode 100644 index 15a080316c..0000000000 --- a/middle_end/inlining_decision_intf.mli +++ /dev/null @@ -1,49 +0,0 @@ -(**************************************************************************) -(* *) -(* OCaml *) -(* *) -(* Pierre Chambart, OCamlPro *) -(* Mark Shinwell and Leo White, Jane Street Europe *) -(* *) -(* Copyright 2013--2016 OCamlPro SAS *) -(* Copyright 2014--2016 Jane Street Group LLC *) -(* *) -(* All rights reserved. This file is distributed under the terms of *) -(* the GNU Lesser General Public License version 2.1, with the *) -(* special exception on linking described in the file LICENSE. *) -(* *) -(**************************************************************************) - -[@@@ocaml.warning "+a-4-9-30-40-41-42"] - -(* CR-someday mshinwell: name of this source file could now be improved *) - -type 'a by_copying_function_body = - env:Inline_and_simplify_aux.Env.t - -> r:Inline_and_simplify_aux.Result.t - -> clos:Flambda.function_declarations - -> lfunc:Flambda.t - -> fun_id:Closure_id.t - -> func:Flambda.function_declaration - -> args:Flambda.t list - -> Flambda.t * Inline_and_simplify_aux.Result.t - -type 'a by_copying_function_declaration = - env:Inline_and_simplify_aux.Env.t - -> r:Inline_and_simplify_aux.Result.t - -> funct:Flambda.t - -> clos:Flambda.function_declarations - -> fun_id:Closure_id.t - -> func:Flambda.function_declaration - -> args_with_approxs: - (Flambda.t list) * (Simple_value_approx.t list) - -> invariant_params:Variable.Set.t - -> specialised_args:Variable.Set.t - -> dbg:Debuginfo.t - -> (Flambda.t * Inline_and_simplify_aux.Result.t) option - -type simplify = - Inline_and_simplify_aux.Env.t - -> Inline_and_simplify_aux.Result.t - -> Flambda.t - -> Flambda.t * Inline_and_simplify_aux.Result.t |