[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