Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dialyzer recheck #1

Open
platinumthinker opened this issue Oct 17, 2015 · 3 comments
Open

Dialyzer recheck #1

platinumthinker opened this issue Oct 17, 2015 · 3 comments
Labels

Comments

@platinumthinker
Copy link
Contributor

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',_}
@platinumthinker
Copy link
Contributor Author

@Gromobedg please recheck this warnings

@Gromobedg
Copy link
Contributor

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',_}

@platinumthinker
Copy link
Contributor Author

platinumthinker commented Jul 7, 2017

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants