From ff5c8bf413cbfda1b7c9a43c948559d31bfcc4d4 Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Wed, 25 Jan 2012 15:44:30 +0100 Subject: Remove redundant code --- lib/dialyzer/src/dialyzer_plt.erl | 13 ------------- 1 file changed, 13 deletions(-) (limited to 'lib/dialyzer/src/dialyzer_plt.erl') diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl index d6c809c289..3d36f5d5ac 100644 --- a/lib/dialyzer/src/dialyzer_plt.erl +++ b/lib/dialyzer/src/dialyzer_plt.erl @@ -32,7 +32,6 @@ compute_md5_from_files/1, contains_mfa/2, contains_module/2, - delete_contract_list/2, delete_list/2, delete_module/2, included_files/1, @@ -164,18 +163,6 @@ lookup_callbacks(#plt{callbacks = Callbacks}, Mod) when is_atom(Mod) -> ModCallbacks = dict:filter(FunModFilter, Callbacks), dict:to_list(ModCallbacks). --spec delete_contract_list(plt(), [mfa()]) -> plt(). - -delete_contract_list(#plt{contracts = Contracts, - callbacks = Callbacks} = PLT, List) -> - PLT#plt{contracts = table_delete_list(Contracts, List), - callbacks = table_delete_list(Callbacks, List)}. - -%% -spec insert(plt(), mfa() | integer(), {_, _}) -> plt(). -%% -%% insert(#plt{info = Info} = PLT, Id, Types) -> -%% PLT#plt{info = table_insert(Info, Id, Types)}. - -type ret_args_types() :: {erl_types:erl_type(), [erl_types:erl_type()]}. -spec insert_list(plt(), [{mfa() | integer(), ret_args_types()}]) -> plt(). -- cgit v1.2.3