[erlang-questions] Lack of warning for overlapping clauses with

Kostis Sagonas <>
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