zotonic

Code pulled with git from git://github.com/zotonic/zotonic.git with the last commit being 5344cf0

These are Intersection warnings for zotonic.

(Only new warnings by Intersection-enabled analysis are listed. Warnings by current public version of Dialyzer are listed here.)

dialyzer -n -q -Wno_improper_lists ebin
action_admin_modules_module_toggle.erl:54: The call z_module_manager:activate(Module::any(),Context::#context{host::atom()}) will never return since it differs in the 2nd argument from the success typing arguments: (any(),#context{host::string()})
mod_admin_modules.erl:42: The call z_module_manager:scan(Context::#context{host::atom()}) will never return since it differs in the 1st argument from the success typing arguments: (#context{host::string()})
mod_admin_modules.erl:43: Function will never be called
mod_admin_modules.erl:47: Function add_sort_key/1 will never be called
mod_admin_modules.erl:57: Function descr/1 will never be called
mod_import_csv.erl:63: The call mod_import_csv:can_handle(Target::binary() | string(),Context::#context{host::binary() | string()}) will never return since it differs in the 2nd argument from the success typing arguments: (binary(),#context{host::atom() | #context{host::atom() | {_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_}}}) or (atom() | [atom() | [any()] | char()],#context{host::atom() | #context{host::atom() | {_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_}}}) or (atom() | binary() | [atom() | [any()] | char()],#context{host::atom() | #context{host::atom() | {_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_}}})
mod_import_csv.erl:80: The call mod_import_csv:to_importing_dir(Def::#filedef{filename::atom() | binary() | [atom() | [any()] | char()],file_size::non_neg_integer(),columns::'unknown' | [[any()],...]},Context::#context{host::atom() | #context{host::atom() | {_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_}}}) will never return since it differs in the 2nd argument from the success typing arguments: (#filedef{filename::atom() | [atom() | [any()] | char()]},#context{host::string()}) or (#filedef{filename::atom() | binary() | [atom() | [any()] | char()]},#context{host::binary() | string()})
mod_import_csv.erl:91: The call z_path:files_subdir_ensure("importing",Context::#context{host::atom() | #context{host::atom() | {_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_}}}) will never return since it differs in the 2nd argument from the success typing arguments: (atom() | binary() | maybe_improper_list() | number() | #rsc_list{},#context{host::string()}) or (atom() | binary() | maybe_improper_list() | number() | #rsc_list{},#context{host::binary() | string()})
mod_logging.erl:197: The pattern <_, Fields, LogType, Id> can never match since previous clauses completely covered the type <#log_email{},[{'content_id' | 'envelop_from' | 'envelop_to' | 'from_id' | 'mailer_host' | 'mailer_message' | 'mailer_status' | 'message_nr' | 'message_template' | 'other_id' | 'props' | 'severity' | 'to_id',_},...],atom() | [any(),...],_>
m_media.erl:318: The call m_rsc:update(RscId::any(),[{'category','audio' | 'image' | 'media' | 'video'},...],Context::#context{host::string()}) will never return since it differs in the 3rd argument from the success typing arguments: (integer(),[any()],#context{host::atom() | #context{host::atom() | {_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_}}})
m_media.erl:338: The call z_notifier:notify(#media_replace_file{id::atom() | binary() | nonempty_maybe_improper_list() | integer() | {integer()} | #rsc_list{list::nonempty_maybe_improper_list()}},Context::#context{host::string()}) will never return since it differs in the 2nd argument from the success typing arguments: (any(),#context{host::atom() | #context{host::atom() | {_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_}}})
z_email_server.erl:292: The pattern <Email, Context> can never match since previous clauses completely covered the type <[byte()],#context{}>
z_dispatcher.erl:247: The call z_module_manager:scan(Context::#context{host::atom()}) will never return since it differs in the 1st argument from the success typing arguments: (#context{host::string()})
z_dispatcher.erl:248: Function will never be called
z_dispatcher.erl:249: Function will never be called
z_module_manager.erl:148: The call z_module_manager:scan(Context::#context{host::atom()}) will never return since it differs in the 1st argument from the success typing arguments: (#context{host::string()})
z_module_manager.erl:149: Function will never be called
z_module_manager.erl:650: Function will never be called
z_module_manager.erl:650: The call z_module_manager:scan(Context::#context{host::atom()}) will never return since it differs in the 1st argument from the success typing arguments: (#context{host::string()})
z_toposort.erl:28: Invalid type specification for function z_toposort:sort/1. The success typing is ([{_,[any()],_},...]) -> {'error',{'cyclic',[any()]}} | {'ok',[any()]}; ([]) -> {'ok',[]}

Applications