otp-eunit

Code pulled with git from git://github.com/erlang/otp.git with the last commit being

These are Current warnings for otp-eunit. 

dialyzer -n -q -Wno_improper_lists --apps eunit
eunit_lib.erl:281: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:282: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:283: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:284: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:285: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:287: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:289: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:290: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:342: The call eunit_lib:uniq('ok') will never return since it differs in the 1st argument from the success typing arguments: ([any()])
eunit_lib.erl:343: The call eunit_lib:uniq(nonempty_improper_list(1,2)) will never return since it differs in the 1st argument from the success typing arguments: ([any()])
eunit_lib.erl:519: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:521: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:526: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:527: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_lib.erl:528: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_listener.erl:53: The created fun has no local return
eunit_proc.erl:271: Function kill_task/2 has no local return
eunit_serial.erl:64: The created fun has no local return
eunit_surefire.erl:29: Callback info about the eunit_listener behaviour is not available
eunit_test.erl:44: The pattern <[{'eunit_data', _, _} | Rest], Tail> can never match the type <[{atom(),atom(),[any()] | byte(),[any()]}],[{atom(),atom(),0}]>
eunit_test.erl:46: The pattern <[{'eunit_test', _, _} | _Rest], Tail> can never match the type <[{atom(),atom(),[any()] | byte(),[any()]}],[{atom(),atom(),0}]>
eunit_test.erl:82: The variable __V can never match since previous clauses completely covered the type 'true'
eunit_test.erl:86: The created fun has no local return
eunit_test.erl:86: The created fun has no local return
eunit_test.erl:86: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_test.erl:86: The pattern 'true' can never match the type 'false'
eunit_test.erl:97: The created fun has no local return
eunit_test.erl:97: The created fun has no local return
eunit_test.erl:97: The pattern 'false' can never match the type []
eunit_test.erl:97: The pattern 'true' can never match the type []
eunit_test.erl:108: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_test.erl:112: The created fun has no local return
eunit_test.erl:112: The created fun has no local return
eunit_test.erl:112: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_test.erl:123: The variable __V can never match since previous clauses completely covered the type 'ok'
eunit_test.erl:127: The created fun has no local return
eunit_test.erl:127: The created fun has no local return
eunit_test.erl:127: The pattern [_] can never match the type []
eunit_test.erl:138: The pattern 'ok' can never match the type 'error'
eunit_test.erl:157: The created fun has no local return
eunit_test.erl:157: The created fun has no local return
eunit_test.erl:157: Guard test 2 =:= __X::3 can never succeed
eunit_test.erl:157: Fun application with arguments (3) will never return since it differs in the 1st argument from the success typing arguments: (2)
eunit_test.erl:168: Guard test 0 =:= __X::1 can never succeed
eunit_test.erl:302: Call to missing or unexported function eunit_test:nonexisting_function/0
eunit_tests.erl:30: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_tests.erl:35: The pattern 'false' can never match the type 'true'
eunit_tests.erl:36: The pattern 'true' can never match the type 'false'
eunit_tests.erl:39: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_tests.erl:40: The variable _ can never match since previous clauses completely covered the type 'false'
eunit_tests.erl:40: The pattern [104, 97, 108 | _] can never match the type [101 | 104 | 108 | 111,...]
eunit_tty.erl:24: Callback info about the eunit_listener behaviour is not available

Applications