eltex-ecss/chronica

Dialyzer recheck

platinumthinker opened this issue · 3 comments

Dialyzer actual error in 18 erlang

src/chronica_disk_log_backend.erl:143: The pattern {'error', 'einval'} can never match the type [{atom(),_}]
src/chronica_disk_log_server.erl:192: The created fun has no local return
src/chronica_internal_logger.erl:159: Function format/7 will never be called
src/chronica_manager.erl:450: The pattern 'true' can never match the type 'ok' | {'error',_}

@Gromobedg please recheck this warnings

Dialyzer actual error in 17 erlang

src/chronica.erl:43: The pattern 'true' can never match the type 'false'
src/chronica_disk_log_backend.erl:143: The pattern {'error', 'einval'} can never match the type [{atom(),_}]
src/chronica_disk_log_server.erl:194: The created fun has no local return
src/chronica_internal_logger.erl:68: The variable _ can never match since previous clauses completely covered the type 'null'
src/chronica_internal_logger.erl:159: Function format/7 will never be called
src/chronica_manager.erl:450: The pattern 'true' can never match the type 'ok' | {'error',_}

Dialyzer 19 erlang:

src/chronica_application_shutdown_handler.erl:29: The pattern {OsFamily, _} can never match since previous clauses completely covered the type {'unix',atom()} | {'win32',atom()}
src/chronica_config.erl:247: The pattern <BadFormated, _Flows, _> can never match since previous clauses completely covered the type <[atom()],_,[any()]>
src/chronica_config.erl:257: The variable PriorityAtom can never match since previous clauses completely covered the type 'debug' | 'error' | 'info' | 'nothing' | 'trace' | 'warning'
src/chronica_disk_log.erl:1075: Function do_fast_exit/3 will never be called
src/chronica_disk_log.erl:1094: Function opening_pid/3 will never be called
src/chronica_disk_log.erl:1184: Function do_open/1 has no local return
src/chronica_disk_log.erl:1185: Record construction #log{status::'ok',blocked_by::'none',users::0,filename::'none' | string(),owners::[],type::'halt',format::'internal',format_type::'undefined',mode::'read_only' | 'read_write',size::'infinity' | pos_integer() | {pos_integer(),pos_integer()},extra::'undefined'} violates the declared type of field format_type::'halt_ext' | 'halt_int' | 'wrap_ext' | 'wrap_int' and extra::#halt{fdc::#cache{fd::pid() | #file_descriptor{module::atom()},sz::non_neg_integer(),c::binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])},curB::non_neg_integer(),size::'infinity' | pos_integer() | {pos_integer(),pos_integer()}} | #handle{filename::string(),maxB::pos_integer(),maxF::pos_integer() | {pos_integer(),pos_integer()},curB::non_neg_integer(),curF::integer(),cur_fdc::#cache{fd::pid() | #file_descriptor{module::atom()},sz::non_neg_integer(),c::binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | byte(),binary() | [])},cur_name::string(),cur_cnt::non_neg_integer(),acc_cnt::non_neg_integer(),firstPos::non_neg_integer(),noFull::non_neg_integer(),accFull::non_neg_integer()}
src/chronica_disk_log.erl:1285: Function do_open2/2 will never be called
src/chronica_disk_log_backend.erl:143: The pattern {'error', 'einval'} can never match the type [{atom(),_}]
src/chronica_disk_log_server.erl:194: The created fun has no local return