Skip to content

Instantly share code, notes, and snippets.

@tatsuya6502

tatsuya6502/dialyzer_nospec_warnings.txt

Created March 13, 2013 11:31
Show Gist options
  • Save tatsuya6502/5151264 to your computer and use it in GitHub Desktop.
Save tatsuya6502/5151264 to your computer and use it in GitHub Desktop.
Download ZIP
hibari >> GH32 - dialyzer warnings (pre v0.3) https://github.com/hibari/hibari/issues/32
Raw
dialyzer_nospec_warnings.txt
brick_simple_stub.erl:186: Function start/0 has no local return
brick_simple_stub.erl:223: Function start_main/0 has no local return
brick_simple_stub.erl:234: Function install_module/0 has no local return
brick_simple_stub.erl:237: The pattern 'ok' can never match the type binary()
Raw
dialyzer_warnings.erl
%% --------------------------------------------------------------------
brick_admin.erl:178: Type specification
brick_admin:bootstrap(file:name(),proplist(),boolean(),char(),
integer(),[atom()],integer(),[any()]) -> 'no_exists' | 'ok'
is a supertype of the success typing:
brick_admin:bootstrap([atom() | [any()] | char(),...],[atom() | {_,_}],boolean(),char(),
non_neg_integer(),[atom()],integer(),[any()]) -> 'no_exists' | 'ok'
%% --------------------------------------------------------------------
brick_admin.erl:179: Type specification
brick_admin:bootstrap_local(proplist(),boolean(),char(),integer(),
non_neg_integer(),integer(),_) -> 'no_exists' | 'ok'
is a supertype of the success typing:
brick_admin:bootstrap_local([atom() | {_,_}],boolean(),char(),non_neg_integer(),
non_neg_integer(),integer(),_) -> 'no_exists' | 'ok'
%% --------------------------------------------------------------------
brick_admin.erl:180: Type specification
brick_admin:bootstrap_local(proplist(),boolean(),char(),integer(),
non_neg_integer(),integer(),any(),proplist()) -> 'no_exists' | 'ok'
is a supertype of the success typing:
brick_admin:bootstrap_local([atom() | {_,_}],boolean(),char(),non_neg_integer(),
non_neg_integer(),integer(),_,[atom() | {_,_}]) -> 'no_exists' | 'ok'
%% --------------------------------------------------------------------
brick_admin.erl:183: Type specification
brick_admin:create_new_schema(bricklist(),file:name()) ->
create_new_schema_ret()
is a supertype of the success typing:
brick_admin:create_new_schema([{atom(),atom()}],atom() | binary() | [atom() | [any()] | char()]) ->
{'error',{[],[any()]}} | {'ok',{[any(),...],[any()]}}
%% --------------------------------------------------------------------
brick_admin.erl:187: Type specification
brick_admin:get_all_bootstrap_keys({'ok',[any()],boolean()},bricklist(),[any()]) -> [any()]
is a supertype of the success typing:
brick_admin:get_all_bootstrap_keys({'ok',[any()],boolean()},[{atom(),atom()}],[[any(),...]]) -> [any()]
%% --------------------------------------------------------------------
brick_admin.erl:205: Type specification
brick_admin:schema_filename() -> nonempty_string()
is a supertype of the success typing:
brick_admin:schema_filename() -> [46 | 83 | 97 | 99 | 101 | 104 | 108 | 109 | 111,...]
%% --------------------------------------------------------------------
brick_admin.erl:1334: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
brick_admin.erl:1807: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
brick_admin.erl:1914: Type specification
brick_admin:squorum_set(brick_squorum:brick_list(),'schema_definition',#schema_r{}) ->
brick_squorum:set_res();
(brick_squorum:brick_list(),'client_monitor_list',[atom()]) ->
brick_squorum:set_res()
is a supertype of the success typing:
brick_admin:squorum_set([{atom(),atom()}],'schema_definition',
#schema_r{schema_bricklist::'undefined'
| [{atom(),atom()}],tabdefs::'undefined'
| dict(),chain2tab::'undefined'
| dict()}) ->
'error' | 'quorum_error' | {'ok',non_neg_integer()} | {'ts_error',non_neg_integer()}
%% --------------------------------------------------------------------
brick_admin.erl:2433: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
brick_admin_event_h.erl:108: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
brick_chainmon.erl:1096: The created fun has no local return
%% --------------------------------------------------------------------
brick_chainmon.erl:1621: Type specification
brick_chainmon:state_to_proplist(#state{}) -> [{atom(),term()}]
is a supertype of the success typing:
brick_chainmon:state_to_proplist(#state{chain::atom(),
bricks::'undefined' | [{atom(),atom()}],
chainlen::'undefined' | integer(),
tref::'undefined' | reference(),
last_bricks_status::[{{atom(),atom()},
'disk_error'
| 'ok'
| 'pre_init'
| 'repair_overload'
| 'repairing'
| 'unknown'
| 'unknown2'}],
chain_now::[{atom(),atom()}],
repairing_brick::'undefined' | {atom(),atom()},
num_checks::integer(),
sb_pid::'undefined' | pid()}) ->
[{'bricks'
| 'chain'
| 'chain_now'
| 'chainlen'
| 'last_bricks_status'
| 'num_checks'
| 'repairing_brick'
| 'sb_pid'
| 'tref',
atom() | pid() | reference() | [any()] | integer() | {_,_}}]
%% --------------------------------------------------------------------
brick_chainmon.erl:1625: Type specification
brick_chainmon:info_state_r() -> [{integer(),atom()}]
is a supertype of the success typing:
brick_chainmon:info_state_r() -> [{integer(),
'bricks'
| 'chain'
| 'chain_now'
| 'chainlen'
| 'last_bricks_status'
| 'num_checks'
| 'repairing_brick'
| 'sb_pid'
| 'tref'}]
%% --------------------------------------------------------------------
brick_ets.erl:2048: Function checkpoint_start/4 only terminates with explicit exception
%% --------------------------------------------------------------------
brick_ets.erl:2130: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
brick_ets.erl:3165: The created fun has no local return
%% --------------------------------------------------------------------
brick_ets.erl:3177: Function squidflash_doit/5 only terminates with explicit exception
%% --------------------------------------------------------------------
brick_ets.erl:3182: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
brick_ets.erl:3201: Function squidflash_prime1/5 only terminates with explicit exception
%% --------------------------------------------------------------------
brick_hash.erl:242: Type specification
brick_hash:all_chains(#g_hash_r{},'current' | 'new') -> [{any(),any()}]
is a supertype of the success typing:
brick_hash:all_chains(#g_hash_r{
current_rev::integer(),
current_h_desc::'undefined'
| #hash_r{method::'chash'
| 'fixed_prefix'
| 'naive'
| 'undefined'
| 'var_prefix',
mod::atom(),
func::atom(),
healthy_chainlist::'undefined' | [atom() | {atom(),_}],
opaque::'undefined' | #naive{} | #fixed_prefix{} | #var_prefix{} | #chash{}},
new_h_desc::'undefined' | #hash_r{method::'chash' | 'fixed_prefix' | 'naive' | 'undefined' | 'var_prefix',
mod::atom(),func::atom(),
healthy_chainlist::'undefined' | [atom() | {atom(),_}],
opaque::'undefined' | #naive{} | #fixed_prefix{} | #var_prefix{} | #chash{}},
minor_rev::integer(),
current_chain_dict::'undefined' | dict(),
new_chain_dict::'undefined' | dict(),
migrating_p::boolean(),
phase::'migrating' | 'pre',
migr_dict::'undefined' | dict()},
'current' | 'new') -> [{_,[any(),...]}]
%% --------------------------------------------------------------------
brick_itimer.erl:212: Type specification
brick_itimer:start_interval_loop(integer()) -> no_return()
is a supertype of the success typing:
brick_itimer:start_interval_loop(non_neg_integer()) -> no_return()
%% --------------------------------------------------------------------
brick_mboxmon.erl:313: The created fun has no local return
%% --------------------------------------------------------------------
brick_mboxmon.erl:338: Function water_report_loop/2 only terminates with explicit exception
%% --------------------------------------------------------------------
brick_mboxmon.erl:371: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
brick_server.erl:2467: Type specification
brick_server:make_add(key(),val()) -> add()
is a supertype of the success typing:
brick_server:make_add('$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []),
binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | [])) ->
{'add',
binary(),
0,
binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | []),
integer(),
[atom() | {_,_}]}
%% --------------------------------------------------------------------
brick_server.erl:2488: Type specification
brick_server:make_replace(key(),val_impl()) -> replace()
is a supertype of the success typing:
brick_server:make_replace('$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | []),
'$disk_remains_constant/$'
| binary()
| maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | [])
| {'$key_switch-a-roo/$',
'$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | [])}
| {'$value_switch-a-roo/$',
binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | []),
binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | [])}) ->
{'replace',
binary(),
0,
binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | []),
integer(),
[atom() | {_,_}]}
%% --------------------------------------------------------------------
brick_server.erl:2509: Type specification
brick_server:make_set(key(),val()) -> set__()
is a supertype of the success typing:
brick_server:make_set('$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | []),
binary()
| maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | [])) ->
{'set',
binary(),
0,
binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | []),
integer(),
[atom() | {_,_}]}
%% --------------------------------------------------------------------
brick_server.erl:2530: Type specification
brick_server:make_rename(key(),key()) -> rename()
is a supertype of the success typing:
brick_server:make_rename('$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | []),
'$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | [])) ->
{'rename',
binary(),
0,
binary(),
integer(),
[atom() | {_,_}]}
%% --------------------------------------------------------------------
brick_server.erl:2551: Type specification
brick_server:make_get(key()) -> get()
is a supertype of the success typing:
brick_server:make_get('$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | [])) ->
{'get',
binary(),
[atom() | {_,_}]}
%% --------------------------------------------------------------------
brick_server.erl:2565: Type specification
brick_server:make_delete(key()) -> delete()
is a supertype of the success typing:
brick_server:make_delete('$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | [])) ->
{'delete',
binary(),
[atom() | {_,_}]}
%% --------------------------------------------------------------------
brick_server.erl:2579: Type specification
brick_server:make_get_many(key(),integer()) -> get_many()
is a supertype of the success typing:
brick_server:make_get_many('$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),
binary() | []),
integer()) ->
{'get_many',
binary(),
[atom() | {_,_}]}
%% --------------------------------------------------------------------
brick_server.erl:3549: Type specification
brick_server:chain_start_repair(#state{}) ->
{'ok' | {'error','not_chain_member' | 'no_downstream' | 'ds_repair_state',term()},#state{}}
is a supertype of the success typing:
brick_server:chain_start_repair(
#state{name::atom(),
options::'undefined' | [atom() | {atom(),_}],
impl_mod::atom(),impl_state::'undefined' | tuple(),
chainstate::'undefined'
| #chain_r{role::'chain_member' | 'standalone' | 'undefined',
proplist::[atom() | {atom(),_}],
upstream::'undefined' | {atom(),atom()},
downstream::'undefined' | {atom(),atom()},
official_tail::boolean(),
my_repair_state::'disk_error'
| 'force_ok_to_pre_init'
| 'ok'
| 'pre_init'
| 'repair_overload'
| 'unknown'
| {'last_key',_},
ds_repair_state::'ok'
| 'pre_init'
| #repair_r{started::'undefined'
| {non_neg_integer(),non_neg_integer(),non_neg_integer()},
started_serial::'undefined' | integer(),
repair_method::'repair_diff' | 'replace',
max_keys::'undefined' | non_neg_integer(),
max_bytes::'undefined' | non_neg_integer(),
key::'$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary()
| maybe_improper_list(any(),binary() | [])
| byte(),
binary() | []),
last_repair_serial::'undefined' | integer(),
final_repair_serial::'undefined' | integer(),
values_sent::non_neg_integer(),
repair_deletes::non_neg_integer(),
repair_inserts::non_neg_integer(),
last_ack::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()}},
my_repair_ok_time::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()},
up_serial::integer(),
repair_last_time::{non_neg_integer(),non_neg_integer(),non_neg_integer()},
down_serial::integer(),
down_acked::integer(),
down_unacked::'undefined' | queue(),
last_ack::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()},
unknown_acks::[any()],
clock_tref::'undefined' | reference(),
read_only_p::boolean(),
read_only_waiters::[#dirty_q{}],
waiting_for_mig_start_p::boolean(),
mig_start_waiters::[#dirty_q{}],
max_primers::non_neg_integer(),
upstream_monitor::'undefined' | reference(),
upstream_monitor_down_p::boolean()},
logging_op_q::'undefined' | queue(),
globalhash::'undefined'
| #g_hash_r{current_rev::integer(),
current_h_desc::'undefined'
| #hash_r{method::'chash'
| 'fixed_prefix'
| 'naive'
| 'undefined'
| 'var_prefix',
mod::atom(),
func::atom(),
healthy_chainlist::'undefined' | [atom() | {atom(),_}],
opaque::'undefined'
| {'naive',_,_}
| {'fixed_prefix',_,_,_,_}
| {'var_prefix',_,_,_,_}
| {'chash',_,_,_,_,_,_,_,_,_,_,_,_}},
new_h_desc::'undefined'
| #hash_r{method::'chash'
| 'fixed_prefix'
| 'naive'
| 'undefined'
| 'var_prefix',
mod::atom(),
func::atom(),
healthy_chainlist::'undefined'
| [atom() | {atom(),_}],
opaque::'undefined'
| {'naive',_,_}
| {'fixed_prefix',_,_,_,_}
| {'var_prefix',_,_,_,_}
| {'chash',_,_,_,_,_,_,_,_,_,_,_,_}},
minor_rev::integer(),
current_chain_dict::'undefined' | dict(),
new_chain_dict::'undefined' | dict(),
migrating_p::boolean(),
phase::'migrating' | 'pre',
migr_dict::'undefined' | dict()},
sweepstate::'undefined'
| #sweep_r{started::'undefined'
| {non_neg_integer(),non_neg_integer(),non_neg_integer()},
options::'undefined' | [atom() | {atom(),_}],
bigdata_dir_p::'false' | 'true' | 'undefined',
tref::'undefined' | reference(),
max_keys_per_iter::'undefined' | integer(),
max_keys_per_chain::'undefined' | integer(),
prop_delay::'undefined' | integer(),
chain_name::atom(),
done_sweep_key::'$end_of_table'
| '$start_of_table'
| 'undefined'
| binary()
| maybe_improper_list(binary()
| maybe_improper_list(any(),binary() | [])
| byte(),
binary() | []),
sweep_key::'$end_of_table'
| '$start_of_table'
| 'undefined'
| binary()
| maybe_improper_list(binary()
| maybe_improper_list(any(),binary() | [])
| byte(),
binary() | []),
stage::'priming_value_blobs'
| 'top'
| 'undefined'
| {'notify_down_old',{non_neg_integer(),non_neg_integer(),non_neg_integer()}}
| {'collecting_phase2_replies',{non_neg_integer(),non_neg_integer(),non_neg_integer()},[any()]}
| {'done',{non_neg_integer(),non_neg_integer(),non_neg_integer()},[atom() | {atom(),_}]},
phase2_replies::'undefined' | [any()],
num_phase2_replies::'undefined' | integer(),
phase2_needed_replies::'undefined' | integer(),
phase2_del_thisdo_mods::'undefined' | [any()],
val_prime_lastkey::'$end_of_table' | 'undefined' | binary()},
do_op_too_old_usec::'undefined' | integer(),
n_too_old::integer(),
bad_pid::'undefined' | pid(),
do_list_preprocess::[fun()],
pingee_pid::'undefined' | pid(),
retry_send_repair::'undefined' | reference(),
bz_debug_check_hunk_summ::'false' | 'true' | 'undefined',
bz_debug_check_hunk_blob::'false' | 'true' | 'undefined',
throttle_tab::atom() | tid()}) -> {'ok'
| {'error',
'ds_repair_state' | 'no_downstream' | 'not_chain_member',
'ok'
| 'pre_init'
| []
| {'role','chain_member' | 'standalone' | 'undefined'}
| #repair_r{started::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()},
started_serial::'undefined' | integer(),
repair_method::'repair_diff' | 'replace',
max_keys::'undefined' | non_neg_integer(),
max_bytes::'undefined' | non_neg_integer(),
key::'$end_of_table' | '$start_of_table' | binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []),
last_repair_serial::'undefined' | integer(),
final_repair_serial::'undefined' | integer(),
values_sent::non_neg_integer(),
repair_deletes::non_neg_integer(),
repair_inserts::non_neg_integer(),
last_ack::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()}}},
#state{name::atom(),
options::'undefined' | [atom() | {atom(),_}],
impl_mod::atom(),
impl_state::'undefined' | tuple(),
chainstate::'undefined'
| #chain_r{role::'chain_member' | 'standalone' | 'undefined',
proplist::[atom() | {atom(),_}],
upstream::'undefined' | {atom(),atom()},
downstream::'undefined' | {atom(),atom()},
official_tail::boolean(),
my_repair_state::'disk_error' | 'force_ok_to_pre_init' | 'ok' | 'pre_init' | 'repair_overload' | 'unknown' | {'last_key',_},
ds_repair_state::'ok'
| 'pre_init'
| #repair_r{started::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()},
started_serial::'undefined' | integer(),
repair_method::'repair_diff' | 'replace',
max_keys::'undefined' | non_neg_integer(),
max_bytes::'undefined' | non_neg_integer(),
key::'$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary()
| maybe_improper_list(any(),binary() | [])
| byte(),
binary() | []),
last_repair_serial::'undefined' | integer(),
final_repair_serial::'undefined' | integer(),
values_sent::non_neg_integer(),
repair_deletes::non_neg_integer(),
repair_inserts::non_neg_integer(),
last_ack::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()}},
my_repair_ok_time::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()},
up_serial::integer(),
repair_last_time::{non_neg_integer(),non_neg_integer(),non_neg_integer()},
down_serial::integer(),
down_acked::integer(),
down_unacked::'undefined' | queue(),
last_ack::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()},
unknown_acks::[any()],
clock_tref::'undefined' | reference(),
read_only_p::boolean(),
read_only_waiters::[#dirty_q{}],
waiting_for_mig_start_p::boolean(),
mig_start_waiters::[#dirty_q{}],
max_primers::non_neg_integer(),
upstream_monitor::'undefined' | reference(),
upstream_monitor_down_p::boolean()},
logging_op_q::'undefined' | queue(),
globalhash::'undefined'
| #g_hash_r{current_rev::integer(),
current_h_desc::'undefined'
| #hash_r{method::'chash' | 'fixed_prefix' | 'naive' | 'undefined' | 'var_prefix',
mod::atom(),
func::atom(),
healthy_chainlist::'undefined' | [atom() | {atom(),_}],
opaque::'undefined'
| {'naive',_,_}
| {'fixed_prefix',_,_,_,_}
| {'var_prefix',_,_,_,_}
| {'chash',_,_,_,_,_,_,_,_,_,_,_,_}},
new_h_desc::'undefined'
| #hash_r{method::'chash' | 'fixed_prefix' | 'naive' | 'undefined' | 'var_prefix',
mod::atom(),
func::atom(),
healthy_chainlist::'undefined' | [atom() | {atom(),_}],
opaque::'undefined'
| {'naive',_,_}
| {'fixed_prefix',_,_,_,_}
| {'var_prefix',_,_,_,_}
| {'chash',_,_,_,_,_,_,_,_,_,_,_,_}},
minor_rev::integer(),
current_chain_dict::'undefined' | dict(),
new_chain_dict::'undefined' | dict(),
migrating_p::boolean(),
phase::'migrating' | 'pre',
migr_dict::'undefined' | dict()},
sweepstate::'undefined'
| #sweep_r{started::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()},
options::'undefined' | [atom() | {atom(),_}],
bigdata_dir_p::'false' | 'true' | 'undefined',
tref::'undefined' | reference(),
max_keys_per_iter::'undefined' | integer(),
max_keys_per_chain::'undefined' | integer(),
prop_delay::'undefined' | integer(),
chain_name::atom(),
done_sweep_key::'$end_of_table'
| '$start_of_table'
| 'undefined'
| binary()
| maybe_improper_list(binary()
| maybe_improper_list(any(),binary() | [])
| byte(),binary()
| []),
sweep_key::'$end_of_table'
| '$start_of_table'
| 'undefined'
| binary()
| maybe_improper_list(binary()
| maybe_improper_list(any(), binary() | [])
| byte(),binary() | []),
stage::'priming_value_blobs'
| 'top'
| 'undefined'
| {'notify_down_old',{non_neg_integer(),non_neg_integer(),non_neg_integer()}}
| {'collecting_phase2_replies',{non_neg_integer(),non_neg_integer(),non_neg_integer()},[any()]}
| {'done',{non_neg_integer(),non_neg_integer(),non_neg_integer()},[atom() | {atom(),_}]},
phase2_replies::'undefined' | [any()],
num_phase2_replies::'undefined' | integer(),
phase2_needed_replies::'undefined' | integer(),
phase2_del_thisdo_mods::'undefined' | [any()],
val_prime_lastkey::'$end_of_table' | 'undefined' | binary()},
do_op_too_old_usec::'undefined' | integer(),
n_too_old::integer(),
bad_pid::'undefined' | pid(),
do_list_preprocess::[fun()],
pingee_pid::'undefined' | pid(),
retry_send_repair::'undefined' | reference(),
bz_debug_check_hunk_summ::'false' | 'true' | 'undefined',
bz_debug_check_hunk_blob::'false' | 'true' | 'undefined',
throttle_tab::atom() | tid()}}
%% --------------------------------------------------------------------
brick_server.erl:4939: Type specification
brick_server:sweep_move_or_keep2([{chain_name(),chain_name(),tuple()}],chain_name(),#state{}) ->
{orddict(),[{'delete_noexptime',term()}]}
is a supertype of the success typing:
brick_server:sweep_move_or_keep2([{atom(),atom(),tuple()}],atom(),
#state{name::atom(),
options::'undefined' | [atom() | {atom(),_}],
impl_mod::atom(),
impl_state::'undefined' | tuple(),
chainstate::'undefined' | #chain_r{role::'chain_member' | 'standalone' | 'undefined',
proplist::[atom() | {atom(),_}],
upstream::'undefined' | {atom(),atom()},
downstream::'undefined' | {atom(),atom()},
official_tail::boolean(),
my_repair_state::'disk_error' | 'force_ok_to_pre_init' | 'ok' | 'pre_init' | 'repair_overload' | 'unknown' | {'last_key',_},
ds_repair_state::'ok' | 'pre_init' | #repair_r{started::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()},
started_serial::'undefined' | integer(),
repair_method::'repair_diff' | 'replace',
max_keys::'undefined' | non_neg_integer(),
max_bytes::'undefined' | non_neg_integer(),
key::'$end_of_table' | '$start_of_table' | binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []),
last_repair_serial::'undefined' | integer(),
final_repair_serial::'undefined' | integer(),
values_sent::non_neg_integer(),
repair_deletes::non_neg_integer(),
repair_inserts::non_neg_integer(),
last_ack::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()}},
my_repair_ok_time::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()},
up_serial::integer(),
repair_last_time::{non_neg_integer(),non_neg_integer(),non_neg_integer()},
down_serial::integer(),
down_acked::integer(),
down_unacked::'undefined' | queue(),
last_ack::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()},
unknown_acks::[any()],
clock_tref::'undefined' | reference(),
read_only_p::boolean(),
read_only_waiters::[#dirty_q{}],
waiting_for_mig_start_p::boolean(),
mig_start_waiters::[#dirty_q{}],
max_primers::non_neg_integer(),
upstream_monitor::'undefined' | reference(),
upstream_monitor_down_p::boolean()},
logging_op_q::'undefined' | queue(),
globalhash::'undefined' | #g_hash_r{current_rev::integer(),
current_h_desc::'undefined' | #hash_r{method::'chash' | 'fixed_prefix' | 'naive' | 'undefined' | 'var_prefix',
mod::atom(),
func::atom(),
healthy_chainlist::'undefined' | [atom() | {atom(),_}],
opaque::'undefined' | {'naive',_,_} | {'fixed_prefix',_,_,_,_} | {'var_prefix',_,_,_,_} | {'chash',_,_,_,_,_,_,_,_,_,_,_,_}},
new_h_desc::'undefined' | #hash_r{method::'chash' | 'fixed_prefix' | 'naive' | 'undefined' | 'var_prefix',
mod::atom(),
func::atom(),
healthy_chainlist::'undefined' | [atom() | {atom(),_}],
opaque::'undefined' | {'naive',_,_} | {'fixed_prefix',_,_,_,_} | {'var_prefix',_,_,_,_} | {'chash',_,_,_,_,_,_,_,_,_,_,_,_}},
minor_rev::integer(),
current_chain_dict::'undefined' | dict(),
new_chain_dict::'undefined' | dict(),
migrating_p::boolean(),
phase::'migrating' | 'pre',
migr_dict::'undefined' | dict()},
sweepstate::'undefined' | #sweep_r{started::'undefined' | {non_neg_integer(),non_neg_integer(),non_neg_integer()},
options::'undefined' | [atom() | {atom(),_}],
bigdata_dir_p::'false' | 'true' | 'undefined',
tref::'undefined' | reference(),
max_keys_per_iter::'undefined' | integer(),
max_keys_per_chain::'undefined' | integer(),
prop_delay::'undefined' | integer(),
chain_name::atom(),
done_sweep_key::'$end_of_table' | '$start_of_table' | 'undefined' | binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []),
sweep_key::'$end_of_table' | '$start_of_table' | 'undefined' | binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | []),
stage::'priming_value_blobs' | 'top' | 'undefined' | {'notify_down_old',{non_neg_integer(),non_neg_integer(),non_neg_integer()}} | {'collecting_phase2_replies',{non_neg_integer(),non_neg_integer(),non_neg_integer()},[any()]} | {'done',{non_neg_integer(),non_neg_integer(),non_neg_integer()},[atom() | {atom(),_}]},
phase2_replies::'undefined' | [any()],
num_phase2_replies::'undefined' | integer(),
phase2_needed_replies::'undefined' | integer(),
phase2_del_thisdo_mods::'undefined' | [any()],
val_prime_lastkey::'$end_of_table' | 'undefined' | binary()},
do_op_too_old_usec::'undefined' | integer(),
n_too_old::integer(),
bad_pid::'undefined' | pid(),
do_list_preprocess::[fun()],
pingee_pid::'undefined' | pid(),
retry_send_repair::'undefined' | reference(),
bz_debug_check_hunk_summ::'false' | 'true' | 'undefined',
bz_debug_check_hunk_blob::'false' | 'true' | 'undefined',
throttle_tab::atom() | tid()}) -> {[{_,_}],[{'delete_noexptime',_}]}
%% --------------------------------------------------------------------
brick_server.erl:4997: The created fun has no local return
%% --------------------------------------------------------------------
brick_simple_stub.erl:184: The specification for brick_simple_stub:start/0 states that the function might also return 'ok' but the inferred return is none()
%% --------------------------------------------------------------------
brick_simple_stub.erl:186: Function start/0 has no local return
%% --------------------------------------------------------------------
brick_simple_stub.erl:223: Function start_main/0 has no local return
%% --------------------------------------------------------------------
brick_simple_stub.erl:234: Function install_module/0 has no local return
%% --------------------------------------------------------------------
brick_simple_stub.erl:237: The pattern 'ok' can never match the type binary()
%% --------------------------------------------------------------------
contract_manager.erl:89: Type specification
contract_manager:start([any()]) -> pid()
is a supertype of the success typing:
contract_manager:start(['link'
| 'monitor'
| {'fullsweep_after',integer()} | {'min_bin_vheap_size',integer()}
| {'min_heap_size',integer()}
| {'priority','high' | 'low' | 'max' | 'normal'}]) -> pid()
%% --------------------------------------------------------------------
edown_doclet.erl:527: Function toc/2 only terminates with explicit exception
%% --------------------------------------------------------------------
edown_make.erl:30: Function main/1 only terminates with explicit exception
%% --------------------------------------------------------------------
gmt_elog.erl:91: Type specification
gmt_elog:add_match_spec(dbg_match_spec()) -> 'ok'
is a supertype of the success typing:
gmt_elog:add_match_spec(atom() | maybe_improper_list() | integer()) -> 'ok'
%% --------------------------------------------------------------------
gmt_elog.erl:102: Expression produces a value of type {'error','unknown_pattern' | [{_,_}]} | {'ok',[{_,_} | {_,_,_} | {_,_,_,_}]}, but this value is unmatched
%% --------------------------------------------------------------------
gmt_elog.erl:109: Expression produces a value of type {'ok',[{_,_,_} | {_,_,_,_}]}, but this value is unmatched
%% --------------------------------------------------------------------
gmt_elog_policy.erl:64: The specification for gmt_elog_policy:dtrace/6 states that the function might also return 'badarg' | 'error' | 'true' but the inferred return is 'false'
%% --------------------------------------------------------------------
gmt_elog_policy.erl:146: Expression produces a value of type atom() | tid(), but this value is unmatched
%% --------------------------------------------------------------------
gmt_hlog.erl:236: Type specification
gmt_hlog:write_hunk(server(),
brickname(),
hlogtype(),
key(),
typenum(),
CBlobs::blobs(),
UBlobs::blobs()) ->
{'ok',seqnum(),offset()}
| {'hunk_too_big',len()}
| no_return()
is a supertype of the success typing:
gmt_hlog:write_hunk(atom() | pid() | {atom(),atom()},
atom(),
'bigblob'
| 'bigblob_longterm'
| 'metadata','$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary()
| maybe_improper_list(any(),binary() | [])
| byte(),binary() | []),
integer(),
[binary() | [binary() | maybe_improper_list(any(),binary() | []) | byte()]],
[binary() | [binary() | maybe_improper_list(any(),binary() | []) | byte()]]) ->
{'hunk_too_big',non_neg_integer()}
| {'ok',integer(),non_neg_integer()}
%% --------------------------------------------------------------------
gmt_hlog_common.erl:109: Type specification
gmt_hlog_common:write_hunk(server(),
brickname(),
hlogtype(),
key(),
typenum(),
CBlobs::blobs(),
UBlobs::blobs()) ->
{'ok',seqnum(),offset()}
| {'hunk_too_big',len()}
| no_return()
is a supertype of the success typing:
gmt_hlog_common:write_hunk(atom() | pid() | {atom(),atom()},atom(),
'bigblob'
| 'bigblob_longterm'
| 'metadata','$end_of_table'
| '$start_of_table'
| binary()
| maybe_improper_list(binary()
| maybe_improper_list(any(),binary() | [])
| byte(),binary() | []),
integer(),
[binary() | [binary() | maybe_improper_list(any(),binary() | []) | byte()]],
[binary() | [binary() | maybe_improper_list(any(),binary() | []) | byte()]]) ->
{'hunk_too_big',non_neg_integer()}
| {'ok',integer(),non_neg_integer()}
%% --------------------------------------------------------------------
gmt_hlog_common.erl:335: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
gmt_hlog_common.erl:764: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
gmt_hlog_common.erl:965: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
gmt_hlog_common.erl:1073: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
gmt_hlog_common.erl:1196: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
gmt_hlog_local.erl:134: Type specification
gmt_hlog_local:create_hunk(typenum(),
CBlobs::blobs(),
UBlobs::blobs()) ->
{len(),bytes()}
is a supertype of the success typing:
gmt_hlog_local:create_hunk(integer(),
[binary()
| [binary() | maybe_improper_list(any(),binary() | []) | byte()]],
[binary() | [binary() | maybe_improper_list(any(),binary() | []) | byte()]]) ->
{non_neg_integer(),[<<_:64,_:_*8>> | [any()],...]}
%% --------------------------------------------------------------------
gmt_hlog_local.erl:142: Type specification
gmt_hlog_local:move_seq_to_longterm(server(),seqnum()) ->
'ok' | 'error' | {'error',seqnum()} | no_return()
is a supertype of the success typing:
gmt_hlog_local:move_seq_to_longterm(atom() | pid() | {atom(),atom()},pos_integer()) ->
'error' | 'ok' | {'error',integer()}
%% --------------------------------------------------------------------
gmt_hlog_local.erl:157: Type specification
gmt_hlog_local:write_log_header(file:fd()) ->
'ok' | {'error',term()}
is a supertype of the success typing:
gmt_hlog_local:write_log_header(#file_descriptor{module::atom() | tuple()}) ->
'ok' | {'error',atom()}
%% --------------------------------------------------------------------
gmt_hlog_local.erl:387: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
gmt_pmap.erl:99: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
gmt_util.erl:77: Type specification
gmt_util:boolean_ify(boolean() | binary() | [any()] | 0 | 1) -> boolean()
is a supertype of the success typing:
gmt_util:boolean_ify(boolean()
| <<_:8,_:_*8>>
| [48 | 49 | 97 | 101 | 102 | 108 | 114 | 115 | 116 | 117,...]
| 0
| 1) ->
boolean()
%% --------------------------------------------------------------------
gmt_util.erl:99: Type specification
gmt_util:timeoutsec_ify(binary() | string() | timeout()) ->
timeout()
is a supertype of the success typing:
gmt_util:timeoutsec_ify('infinity' | binary() | [byte()] | non_neg_integer()) ->
'infinity' | non_neg_integer()
%% --------------------------------------------------------------------
gmt_util.erl:566: Function shut_down_nicely/1 only terminates with explicit exception
%% --------------------------------------------------------------------
gmt_util.erl:1114: Function wait_for_processes_loop/2 only terminates with explicit exception
%% --------------------------------------------------------------------
gmt_util_sup.erl:59: Expression produces a value of type
'ok' | {'error','lager_not_running'},
but this value is unmatched
%% --------------------------------------------------------------------
partition_detector_mnesia.erl:40: Type specification
partition_detector_mnesia:get_mnesia_monitored_nodes(_,_) -> any()
is a supertype of the success typing:
partition_detector_mnesia:get_mnesia_monitored_nodes(atom(),_) -> any()
%% --------------------------------------------------------------------
partition_detector_mnesia.erl:46: Type specification
partition_detector_mnesia:terminate(_,_) -> any()
is a supertype of the success typing:
partition_detector_mnesia:terminate(_,_) -> 'ok'
%% --------------------------------------------------------------------
partition_detector_server.erl:86: Type specification
partition_detector_server:init(_) -> {'ok',#state{}}
is a supertype of the success typing:
partition_detector_server:init([any()]) -> {'ok',#state{}}
%% --------------------------------------------------------------------
partition_detector_server.erl:92: Type specification
partition_detector_server:start_link(_) -> any()
is a supertype of the success typing:
partition_detector_server:start_link(_) -> 'ignore' | {'error',_} | {'ok',pid()}
%% --------------------------------------------------------------------
partition_detector_server.erl:94: Type specification
partition_detector_server:terminate(_,_) -> any()
is a supertype of the success typing:
partition_detector_server:terminate(_,_) -> 'ok'
%% --------------------------------------------------------------------
partition_detector_server.erl:636: The created fun only terminates with explicit exception
%% --------------------------------------------------------------------
partition_detector_sup.erl:32: Type specification
partition_detector_sup:init(_) -> {'ok',any()}
is a supertype of the success typing:
partition_detector_sup:init(_) -> {'ok',{{'one_for_one',15,60},[{_,_,_,_,_,_},...]}}
%% --------------------------------------------------------------------
partition_detector_sup.erl:32: The return type {'ok',_}
in the specification of init/1 is not a subtype of
'ignore'
| {'ok',{{'one_for_all',non_neg_integer(),non_neg_integer()}
| {'one_for_one',non_neg_integer(),non_neg_integer()}
| {'rest_for_one',non_neg_integer(),non_neg_integer()}
| {'simple_one_for_one',non_neg_integer(),non_neg_integer()},
[{_,{atom() | tuple(),atom(),'undefined' | [any()]},
'permanent' | 'temporary' | 'transient',
'brutal_kill' | 'infinity' | non_neg_integer(),
'supervisor' | 'worker','dynamic' | [atom() | tuple()]}]}},
which is the expected return type for the callback of supervisor behaviour
%% --------------------------------------------------------------------
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment