diff options
author | Mark Shinwell <mshinwell@gmail.com> | 2019-03-13 10:46:37 +0000 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-03-13 11:46:37 +0100 |
commit | 36c163248d77e7df0803c1e9893ad01948846081 (patch) | |
tree | bf7776ff60eadb76b9ef6b1f6360d7c24beb48e6 /driver/optcompile.ml | |
parent | f5ab75bd63164d6354620878d6f860b0d93697dd (diff) | |
download | ocaml-36c163248d77e7df0803c1e9893ad01948846081.tar.gz |
Remove support for compiler plugins (#2276)
After consultation on the core developers' list I am proposing this patch to remove support for compiler plugins.
The main motivations for removing compiler plugins are:
- They are a potential security risk.
- They increase the complexity of the build system and make maintenance of the Dynlink libraries more difficult (although actually, this complexity could probably be reduced after #2268 is merged).
- Many applications of plugins should be able to be expressed by building custom compiler drivers that link against compilerlibs.
* Remove compiler plugins and hooks
* Add new function Dynlink.unsafe_get_global_symbol but keep it outside the documented API.
* Remove otherlibs/dynlink/nodynlink.ml
* Update Changes
Diffstat (limited to 'driver/optcompile.ml')
-rw-r--r-- | driver/optcompile.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml index 85c655e96d..3e82b12922 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -46,7 +46,7 @@ let flambda i backend typed = required_globals; code } -> ((module_ident, main_module_block_size), code) |>> print_if i.ppf_dump Clflags.dump_rawlambda Printlambda.lambda - |>> Simplif.simplify_lambda i.source_file + |>> Simplif.simplify_lambda |>> print_if i.ppf_dump Clflags.dump_lambda Printlambda.lambda |> (fun ((module_ident, size), lam) -> Middle_end.middle_end @@ -69,7 +69,7 @@ let clambda i typed = |> print_if i.ppf_dump Clflags.dump_rawlambda Printlambda.program |> Profile.(record generate) (fun program -> - let code = Simplif.simplify_lambda i.source_file program.Lambda.code in + let code = Simplif.simplify_lambda program.Lambda.code in { program with Lambda.code } |> print_if i.ppf_dump Clflags.dump_lambda Printlambda.program |> Asmgen.compile_implementation_clambda |