Code pulled with git from git://github.com/engineyard/natter.git with the last commit being ad9d089
(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
natter_connection.erl:86: Function raw_send/2 has no local return natter_connection.erl:91: Function send_iq/5 has no local return natter_connection.erl:110: The call natter_dispatcher:send_and_wait(Dispatcher::atom() | pid(),Iq::[[any()] | char()],Timeout::any()) will never return since it differs in the 2nd argument from the success typing arguments: (pid(),{'xmlelement',string(),[any()],_},integer()) or (pid(),{'xmlelement',string(),[any()],_},pos_integer()) natter_connection.erl:116: The contract natter_connection:find_child(ConnectionPid::pid(),'natter_dispatcher' | 'natter_packetizer') -> pid() | atom() cannot be right because the inferred return for find_child(ConnectionPid::any(),'natter_packetizer') on line 87 is {'ok',pid()} natter_connection.erl:116: The contract natter_connection:find_child(ConnectionPid::pid(),'natter_dispatcher' | 'natter_packetizer') -> pid() | atom() cannot be right because the inferred return for find_child(ConnectionPid::any(),'natter_packetizer') on line 92 is {'ok',pid()}
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.