[erlang-bugs] Dialyzer unmatched_returns generates false positives

[Adam Lindberg]

Thanks for clearing it up!

Cheers,
Adam



Kostis Sagonas wrote:
> Adam Lindberg wrote:
>> Ah, I see.
>>
>> How come dialyzer complains about the list comprehension and not the
>> lists:foreach/2 call? Is there any difference between them that
>> warrants the warning in one case but not the other?
>
> This is a fair question. Dialyzer suppresses the warnings for unmatched
> returns when the return is a single *atomic* value (e.g., an atom like
> 'ok' as in the lists:foreach/2 case or an integer like 42). It complains
> in all other cases (i.e., when the return is a structured term like a
> list or a tuple or when there are multiple returns like 'ok' | 'error').
>
> Hope this clears the issue now.
>
> Kostis