diff options
author | Hans Bolinder <[email protected]> | 2014-05-05 09:16:51 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2014-05-05 09:16:51 +0200 |
commit | 210b45c37d3a6999c2d6c7bf9567986280b41fb1 (patch) | |
tree | fe5c9a4a3de343d6553264a91766bbd3c53c4f09 /lib/dialyzer/src | |
parent | d019a20989b3f299e8fdcf20dc210e233ddc3028 (diff) | |
parent | 587f33f3455e682475721aa8e5a284d936a04b16 (diff) | |
download | otp-210b45c37d3a6999c2d6c7bf9567986280b41fb1.tar.gz otp-210b45c37d3a6999c2d6c7bf9567986280b41fb1.tar.bz2 otp-210b45c37d3a6999c2d6c7bf9567986280b41fb1.zip |
Merge branch 'hb/remove_builtin_types/OTP-11445'
* hb/remove_builtin_types/OTP-11445:
[edoc] Remove pre-defined types dict(), digraph(), &c
Remove pre-defined types dict(), digraph(), &c
Diffstat (limited to 'lib/dialyzer/src')
-rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 3 | ||||
-rw-r--r-- | lib/dialyzer/src/dialyzer_succ_typings.erl | 5 |
2 files changed, 2 insertions, 6 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index e0873b17f8..bb5604cd5f 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -2770,8 +2770,7 @@ filter_match_fail([]) -> %%% =========================================================================== state__new(Callgraph, Tree, Plt, Module, Records) -> - Opaques = erl_types:module_builtin_opaques(Module) ++ - erl_types:t_opaque_from_records(Records), + Opaques = erl_types:t_opaque_from_records(Records), TreeMap = build_tree_map(Tree), Funs = dict:fetch_keys(TreeMap), FunTab = init_fun_tab(Funs, dict:new(), TreeMap, Callgraph, Plt), diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl index fa034816a4..6dc4285194 100644 --- a/lib/dialyzer/src/dialyzer_succ_typings.erl +++ b/lib/dialyzer/src/dialyzer_succ_typings.erl @@ -422,10 +422,7 @@ lookup_and_find_opaques_fun(Codeserver) -> end. find_opaques_fun(Records) -> - fun(Module) -> - erl_types:module_builtin_opaques(Module) ++ - erl_types:t_opaque_from_records(Records) - end. + fun(_Module) -> erl_types:t_opaque_from_records(Records) end. get_fun_types_from_plt(FunList, Callgraph, Plt) -> get_fun_types_from_plt(FunList, Callgraph, Plt, dict:new()). |