[erlang-questions] dialyzer: the pattern ... can never match the type 100

Joel Reymont joelr1@REDACTED
Sat Oct 4 11:32:49 CEST 2008

On Oct 3, 2008, at 8:42 PM, Kostis Sagonas wrote:

> It says that you have a function (I am willing to bet that it is not  
> exported) and the only call to it is with the integer 100.  The  
> first clause below is clearly dead code -- the pattern will never  
> match 100.

It's not evident that "the type 100" refers to the integer 100.

Could the wording be changed perhaps?


More information about the erlang-questions mailing list