[erlang-questions] Lack of warning for overlapping clauses with
Kostis Sagonas
kostis@REDACTED
Tue Jul 20 11:03:31 CEST 2010
Torben Hoffmann wrote:
> I am afraid that Bernard is right - there is no difference... neither erlc
> or Dialyzer picks it up.
>
> I would like to hear from the OTP team and/or the Dialyzer team to
> understand what is cooking here.
There is not much to say here, nor anything fishy is cooking. It's just
that or's/orelse's in guards are not so common in their proper treatment
is not so easy.
Neither erlc not dialyzer ever promised that it will generate all
possible warnings. In fact, as far as dialyzer is concerned the only
thing that was promised is that it will not generate a false warning.
Now, having written that, thanks for your mail because it gives us a
concrete test case to improve erlc and/or dialyzer.
Kostis
More information about the erlang-questions
mailing list