[erlang-questions] Why the compiler doesn't complain!

[Bjorn Gustavsson]

"Ali Yakout" <ali.yakout@REDACTED> writes:

> The compiler should display a warning if some clause can't match because
> the previous one do.

The compiler does not guarantee that the compiler will display a
warning for every clause that cannot be reached. The compiler will
only display a warning if it is smart enough to see that the second
clause cannot match.

> But, when adding a record to the match clause, it goes ok !
> 
> eval2(Command, #state{name = "erl"}) ->
>     io:format("Executing ~p ... ~n", [Command]);
> eval2({quit}, #state{name = "erl"}) ->
>     done.

The compiler is not smart enough in this case.

Dialyzer may handle this better.

/Bjorn
-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB