Code pulled with git from git://github.com/KirinDave/fuzed.git with the last commit being 56098d9
dialyzer -n -q -Wno_improper_lists ebin
gen_leader.erl:708: The call sys:handle_debug(Debug::any(),{'gen_leader', 'print_event'},any(),{'in',_}) breaks the contract (Debug,FormFunc,Extra,Event) -> [dbg_opt()] when is_subtype(Debug,[dbg_opt()]), is_subtype(FormFunc,dbg_fun()), is_subtype(Extra,term()), is_subtype(Event,system_event()) gen_leader.erl:724: Function system_terminate/4 has no local return gen_leader.erl:896: The call sys:handle_debug(Debug::any(),{'gen_leader', 'print_event'},any(),Event::{'noreply',_} | {'ok',_} | {'out',_,_,_}) breaks the contract (Debug,FormFunc,Extra,Event) -> [dbg_opt()] when is_subtype(Debug,[dbg_opt()]), is_subtype(FormFunc,dbg_fun()), is_subtype(Extra,term()), is_subtype(Event,system_event()) logger.erl:250: Function init_files/3 has no local return logger.erl:254: The call file:open(NameFile::binary() | string(),'write') breaks the contract (Filename,Modes) -> {'ok',IoDevice} | {'error',Reason} when is_subtype(Filename,name()), is_subtype(Modes,[mode()]), is_subtype(IoDevice,io_device()), is_subtype(Reason,posix() | 'badarg' | 'system_limit') response_error_logger.erl:39: Function init/1 has no local return response_error_logger.erl:40: The call file:open(Fname::any(),'write') breaks the contract (Filename,Modes) -> {'ok',IoDevice} | {'error',Reason} when is_subtype(Filename,name()), is_subtype(Modes,[mode()]), is_subtype(IoDevice,io_device()), is_subtype(Reason,posix() | 'badarg' | 'system_limit') master_responder.erl:105: The pattern <[], Keylist> can never match the type <'details',maybe_improper_list()> master_responder.erl:106: The pattern <[Var | Rest], Keylist> can never match the type <'details',maybe_improper_list()>
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:39 EET.