Code pulled with git from git://github.com/erlang/otp.git with the last commit being
dialyzer -n -q -Wno_improper_lists --apps inets
mod_disk_log.erl:43: The pattern 'no_security_log' can never match the type {atom() | pid(),string()} mod_disk_log.erl:54: The pattern 'no_error_log' can never match the type {atom() | pid(),string()} mod_disk_log.erl:68: The pattern 'no_error_log' can never match the type {atom() | pid(),string()} mod_disk_log.erl:92: The call mod_disk_log:transfer_log(Info::#mod{},"-",AuthUser::any(),Date::[any()],StatusCode::any(),0,LogFormat::any()) will never return since it differs in the 6th argument from the success typing arguments: (#mod{init_data::#init_data{peername::{_,_}}},[45,...],string(),string(),pos_integer(),string() | pos_integer(),any()) mod_disk_log.erl:95: Guard test '>='(StatusCode::none(),400) can never succeed mod_disk_log.erl:121: The call mod_disk_log:transfer_log(Info::#mod{},"-",AuthUser::any(),Date::[any()],200,0,LogFormat::any()) will never return since it differs in the 6th argument from the success typing arguments: (#mod{init_data::#init_data{peername::{_,_}}},[45,...],string(),string(),pos_integer(),string() | pos_integer(),any()) mod_disk_log.erl:300: The pattern 'no_transfer_log' can never match the type {atom() | pid(),string()} mod_log.erl:41: The pattern 'no_security_log' can never match the type {atom() | pid(),string()} mod_log.erl:55: The pattern 'no_error_log' can never match the type {atom() | pid(),string()} mod_log.erl:65: The pattern 'no_error_log' can never match the type {atom() | pid(),string()} mod_log.erl:88: The call mod_log:transfer_log(Info::#mod{},"-",AuthUser::any(),Date::[any()],StatusCode::any(),0) will never return since it differs in the 6th argument from the success typing arguments: (#mod{init_data::#init_data{peername::{_,_}}},[45,...],string(),string(),pos_integer(),string() | pos_integer()) mod_log.erl:90: Guard test '>='(StatusCode::none(),400) can never succeed mod_log.erl:112: The call mod_log:transfer_log(Info::#mod{},"-",AuthUser::any(),Date::[any()],200,0) will never return since it differs in the 6th argument from the success typing arguments: (#mod{init_data::#init_data{peername::{_,_}}},[45,...],string(),string(),pos_integer(),string() | pos_integer()) mod_log.erl:196: The pattern 'no_transfer_log' can never match the type {atom() | pid(),string()}
Created by Stavros Aronis using nanoc, the Perfect 'Left Menu' 2 Column Liquid Layout and icons by pixel-mixer.
Page was last updated on Wednesday February 15, 2012 at 11:07:41 EET.