[erlang-questions] Compiler warnings on impossible constructs?

[Kostis Sagonas]

On 07/03/2013 01:16 PM, Arjan Scherpenisse wrote:
> Hi list,
>
> I today fixed a stupid bug in something I wrote last week, namely, an
> atom-to-atom comparison which should have been a variable-to-atom
> comparioon:
>
> It read: foo =:= bar while it should have read Foo =:= bar.
>
> So, my question is, can't Erlang detect this kind of situations on
> compile time? Obviously, the expression foo =:= bar will never be true,
> right?

Have you run dialyzer on your code?

Kostis