yatce

Code pulled with hg from http://bitbucket.org/kuenishi/yatce on Mon Feb 13 04:12:24 EET 2012

These are Intersection warnings for yatce.

(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
perf_sup.erl:93: Invalid type specification for function perf_sup:generate_children/3. The success typing is (0,[atom(),...],[{atom(),{_,_,_},'permanent',2000,'worker',[any(),...]},...]) -> {[atom(),...],[{atom(),{_,_,_},'permanent',2000,'worker',[any(),...]},...]}; (0,[],[]) -> {[],[]}; (pos_integer(),[atom(),...],[{atom(),{_,_,_},'permanent',2000,'worker',[any(),...]},...]) -> {[atom(),...],[{_,_,_,_,_,_},...]}; (pos_integer(),[],[]) -> {[atom(),...],[{_,_,_,_,_,_},...]}

Applications