[erlang-patches] Dialyzer warnings for gen_stream

Kostis Sagonas kostis@REDACTED
Mon May 31 12:06:27 CEST 2010


Björn Gustavsson wrote:
> ....
> 
> ./gen_stream.erl:439: gen_stream.erl:439: The pattern <Reason,
> {'gstr_state', {'behaviour', Module, _ModArgs}, _, Procs, ModState, _,
> _, _, _}> can never match the type <_,_>
> 
> ....
> 

These dialyzer warnings are correct but some of them look a bit weird.
For example, the one above should read:

gen_stream.erl:439: The pattern <Reason, {'gstr_state', {'behaviour', 
Module, _ModArgs}, _, Procs, ModState, _, _, _, _}> can never match the 
type <_,#gstr_state{stream_type::'undefined' | {'behaviour',atom()} | 
{'binary',binary()} | {'file',string()},procs::'end_of_stream' | 
{pid()},active_proc::non_neg_integer(),source_size::atom() | 
non_neg_integer(),report_size::atom() | non_neg_integer()}>

and this is the one I get on my version of dialyzer.


Also, perhaps a detail, but I am not sure how the double:

	./gen_stream.erl:439: gen_stream.erl:439:

prefix gets generated.

Kostis


More information about the erlang-patches mailing list