[erlang-questions] Compiler warnings on impossible constructs?

Kostis Sagonas <>
Wed Jul 3 13:25:07 CEST 2013


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



More information about the erlang-questions mailing list