lists:concat/1 spec inconsistent with implementation or bug in Dialyzer?
Wed Jul 21 18:10:26 CEST 2010
When running Dialyzer on the code below I get the following messages: "The
call lists:concat([['a,...],...]) breaks the contract ([concat_thing()]) ->
string()" and "Function unused_function/1 will never be called"
The line: "lists:concat([[a]])." runs fine in the shell, but seems to cause
the dialyzer to stop, which I assume is the reason it warns that
unused_function/1 will never be used, even though it is used. If the arity
is changed to 0 and the arguments removed from the call, the warning seems
to disapear though.
Is it a bug in the lists:concat/1's spec or in Dialyzer?
openSUSE 11.0 (X86-64)
Erlang R14A (erts-5.8) [source] [64-bit]
More information about the erlang-bugs