Code pulled with git from git://github.com/RefactoringTools/wrangler.git with the last commit being b9d3d93
(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
api_interface.erl:95: The pattern 'true' can never match the type 'false' wrangler_annotate_pid.erl:53: The created fun has no local return wrangler_annotate_pid.erl:104: Function update_function/4 has no local return wrangler_annotate_pid.erl:124: The call wrangler_ast_server:update_ast({string(),'true',[string()],integer(),'dos' | 'mac' | 'unix'},{{'tree',_,_,_} | {'wrapper',_,_,_},[{'attributes' | 'errors' | 'exports' | 'functions' | 'imports' | 'module' | 'module_imports' | 'records' | 'rules' | 'warnings',_}],non_neg_integer()}) will never return since it differs in the 1st and/or 2nd argument from the success typing arguments: ({_,'false',_,_,_},any()) or ({_,'true',_,_,_},{_,_,_,_}) or ({atom() | binary() | [atom() | [any()] | char()],'true',[string()],integer(),atom()},[1..255]) wrangler_expand_rule.erl:205: The variable _ can never match since previous clauses completely covered the type [] wrangler_refacs.erl:244: Invalid type specification for function wrangler_refacs:load_user_refactorings/1. The success typing is (string()) -> [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:44 EET.