eper

Code pulled with svn from http://eper.googlecode.com/svn/trunk on Mon Feb 13 04:03:18 EET 2012

These are Intersection warnings for eper.

(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 -r ebin
watchdog.erl:267: The call lists:keyreplace(Key::{'log' | 'pid' | 'tcp' | 'udp' | integer(),_},1,Subs::maybe_improper_list(),Sub::fun((_) -> any())) will never return since it differs in the 4th argument from the success typing arguments: (any(),pos_integer(),nonempty_maybe_improper_list(),tuple()) or (any(),pos_integer(),[],tuple())

Applications