piqi

Code pulled with git from git://github.com/alavrik/piqi.git with the last commit being a56ddd2

These are Current warnings for piqi.

dialyzer -n -q -Wno_improper_lists piqi-erlang/ebin
piqi_piqi.erl:196: The call piqi_piqi:gen_anonymous_record(417618353,Y::[#field{name::'undefined' | binary() | [any()],type::'any' | 'binary' | 'bool' | 'float' | 'int' | 'string' | 'text' | 'undefined' | 'word' | {_,_},mode::'optional' | 'repeated' | 'required' | 'undefined',default::'undefined' | {_,_,_},code::'undefined' | integer(),proto_name::'undefined' | binary() | [any()],json_name::'undefined' | binary() | [any()],getopt_letter::'undefined' | binary() | [any()],getopt_doc::'undefined' | binary() | [any()],erlang_name::'undefined' | binary() | [any()]}]) will never return since the success typing is ('undefined' | pos_integer(),#anonymous_record{field::[#field{name::'undefined' | binary() | [any()],type::'any' | 'binary' | 'bool' | 'float' | 'int' | 'string' | 'text' | 'undefined' | 'word' | {_,_},mode::'optional' | 'repeated' | 'required' | 'undefined',default::'undefined' | {_,_,_},code::'undefined' | integer(),proto_name::'undefined' | binary() | [any()],json_name::'undefined' | binary() | [any()],getopt_letter::'undefined' | binary() | [any()],getopt_doc::'undefined' | binary() | [any()],erlang_name::'undefined' | binary() | [any()]}]}) -> [binary() | maybe_improper_list(any(),binary() | []) | byte(),...] and the contract is (Code::piqirun_code(),X::anonymous_record()) -> iolist()
piqi_piqi.erl:642: Record construction #anonymous_record{field::#anonymous_record{field::[#field{name::'undefined' | binary() | [any()],type::'any' | 'binary' | 'bool' | 'float' | 'int' | 'string' | 'text' | 'undefined' | 'word' | {_,_},mode::'optional' | 'repeated' | 'required' | 'undefined',default::'undefined' | {_,_,_},code::'undefined' | integer(),proto_name::'undefined' | binary() | [any()],json_name::'undefined' | binary() | [any()],getopt_letter::'undefined' | binary() | [any()],getopt_doc::'undefined' | binary() | [any()],erlang_name::'undefined' | binary() | [any()]}]}} violates the declared type of field field::[#field{name::'undefined' | binary() | [any()],type::'any' | 'binary' | 'bool' | 'float' | 'int' | 'string' | 'text' | 'undefined' | 'word' | {_,_},mode::'optional' | 'repeated' | 'required' | 'undefined',default::'undefined' | {_,_,_},code::'undefined' | integer(),proto_name::'undefined' | binary() | [any()],json_name::'undefined' | binary() | [any()],getopt_letter::'undefined' | binary() | [any()],getopt_doc::'undefined' | binary() | [any()],erlang_name::'undefined' | binary() | [any()]}]
piqirun.erl:563: Function error_enum_const/1 has no local return
piqirun.erl:565: Function error_option/2 has no local return
piqirun_tests.erl:68: The variable _ can never match since previous clauses completely covered the type 'false'