Code pulled with git from git://github.com/alavrik/piqi.git with the last commit being a56ddd2
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'
Created by Stavros Aronis using nanoc, the Perfect 'Left Menu' 2 Column Liquid Layout and icons by pixel-mixer.
Page was last updated on Wednesday February 15, 2012 at 11:07:42 EET.