Skip to content

Instantly share code, notes, and snippets.

@thumbot
Created January 10, 2017 21:08
Show Gist options
  • Save thumbot/4e653e5660916cb40ebff6c4d033696d to your computer and use it in GitHub Desktop.
Save thumbot/4e653e5660916cb40ebff6c4d033696d to your computer and use it in GitHub Desktop.
./rebar get-deps
==> hamcrest (get-deps)
==> riak_pb (get-deps)
==> develop.d5d4150.enable_thumbs.c1dd5bb (get-deps)
./rebar compile
==> hamcrest (compile)
==> hamcrest (post_compile)
==> riak_pb (compile)
==> develop.d5d4150.enable_thumbs.c1dd5bb (compile)
Checking whether the PLT /home/ubuntu/.combo_dialyzer_plt is up-to-date... yes
done (passed successfully)
yes
done (passed successfully)
Creating PLT .local_dialyzer_plt ...
Unknown functions:
application:get_env/2
binary:copy/1
dict:fold/3
dict:from_list/1
dict:store/3
erlang:atom_to_binary/2
erlang:atom_to_list/1
erlang:binary_to_atom/2
erlang:binary_to_existing_atom/2
erlang:binary_to_list/1
erlang:binary_to_term/1
erlang:get_module_info/1
erlang:get_module_info/2
erlang:integer_to_list/1
erlang:iolist_to_binary/1
erlang:is_process_alive/1
erlang:list_to_atom/1
erlang:list_to_binary/1
erlang:list_to_tuple/1
erlang:term_to_binary/1
error_logger:warning_msg/2
eunit:test/1
gb_sets:is_element/2
gb_sets:is_empty/1
gb_sets:is_set/1
ordsets:is_element/2
ordsets:is_set/1
ordsets:size/1
proplists:get_bool/2
proplists:get_value/2
proplists:get_value/3
re:run/2
sets:is_element/2
sets:is_set/1
sets:size/1
string:equal/2
string:join/2
string:right/2
string:str/2
Unknown types:
proplists:property/0
done in 0m59.86s
done (passed successfully)
==> develop.d5d4150.enable_thumbs.c1dd5bb (dialyzer)
Checking whether the PLT /home/ubuntu/.combo_dialyzer_plt is up-to-date... yes
Checking whether the PLT .local_dialyzer_plt is up-to-date... yes
Proceeding with analysis...
riakc_pb_socket.erl:1717: Matching of pattern <{'request', _, {'rpbputreq', _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _}, _, _, _, _, _}, {'rpbputresp', 'undefined', 'undefined', Key}, State> tagged with a record name violates the declared type of #rpbputresp{content::[#rpbcontent{value::'undefined' | binary(),content_type::'undefined' | binary(),charset::'undefined' | binary(),content_encoding::'undefined' | binary(),vtag::'undefined' | binary(),links::[#rpblink{bucket::'undefined' | binary(),key::'undefined' | binary(),tag::'undefined' | binary()}],last_mod::'undefined' | non_neg_integer(),last_mod_usecs::'undefined' | non_neg_integer(),usermeta::[#rpbpair{key::'undefined' | binary(),value::'undefined' | binary()}],indexes::[#rpbpair{key::'undefined' | binary(),value::'undefined' | binary()}],deleted::'false' | 'true' | 'undefined' | 0 | 1,ttl::'undefined' | non_neg_integer()}],vclock::'undefined' | binary(),key::'undefined' | binary()}
riakc_pb_socket.erl:1759: The pattern 'undefined' can never match the type [binary()]
riakc_pb_socket.erl:1827: The pattern 'undefined' can never match the type [#rpbindexobject{key::'undefined' | binary(),object::'undefined' | #rpbgetresp{content::[#rpbcontent{value::'undefined' | binary(),content_type::'undefined' | binary(),charset::'undefined' | binary(),content_encoding::'undefined' | binary(),vtag::'undefined' | binary(),links::[#rpblink{bucket::'undefined' | binary(),key::'undefined' | binary(),tag::'undefined' | binary()}],last_mod::'undefined' | non_neg_integer(),last_mod_usecs::'undefined' | non_neg_integer(),usermeta::[#rpbpair{key::'undefined' | binary(),value::'undefined' | binary()}],indexes::[#rpbpair{key::'undefined' | binary(),value::'undefined' | binary()}],deleted::'false' | 'true' | 'undefined' | 0 | 1,ttl::'undefined' | non_neg_integer()}],vclock::'undefined' | binary(),unchanged::'false' | 'true' | 'undefined' | 0 | 1}}]
riakc_pb_socket.erl:1849: The pattern 'undefined' can never match the type [#rpbindexobject{key::'undefined' | binary(),object::'undefined' | #rpbgetresp{content::[#rpbcontent{value::'undefined' | binary(),content_type::'undefined' | binary(),charset::'undefined' | binary(),content_encoding::'undefined' | binary(),vtag::'undefined' | binary(),links::[#rpblink{bucket::'undefined' | binary(),key::'undefined' | binary(),tag::'undefined' | binary()}],last_mod::'undefined' | non_neg_integer(),last_mod_usecs::'undefined' | non_neg_integer(),usermeta::[#rpbpair{key::'undefined' | binary(),value::'undefined' | binary()}],indexes::[#rpbpair{key::'undefined' | binary(),value::'undefined' | binary()}],deleted::'false' | 'true' | 'undefined' | 0 | 1,ttl::'undefined' | non_neg_integer()}],vclock::'undefined' | binary(),unchanged::'false' | 'true' | 'undefined' | 0 | 1}}]
riakc_pb_socket.erl:1865: The pattern 'undefined' can never match the type [#rpbindexobject{key::'undefined' | binary(),object::'undefined' | #rpbgetresp{content::[#rpbcontent{value::'undefined' | binary(),content_type::'undefined' | binary(),charset::'undefined' | binary(),content_encoding::'undefined' | binary(),vtag::'undefined' | binary(),links::[#rpblink{bucket::'undefined' | binary(),key::'undefined' | binary(),tag::'undefined' | binary()}],last_mod::'undefined' | non_neg_integer(),last_mod_usecs::'undefined' | non_neg_integer(),usermeta::[#rpbpair{key::'undefined' | binary(),value::'undefined' | binary()}],indexes::[#rpbpair{key::'undefined' | binary(),value::'undefined' | binary()}],deleted::'false' | 'true' | 'undefined' | 0 | 1,ttl::'undefined' | non_neg_integer()}],vclock::'undefined' | binary(),unchanged::'false' | 'true' | 'undefined' | 0 | 1}}]
riakc_pb_socket.erl:1996: The pattern 'undefined' can never match the type [#tsrow{cells::[#tscell{varchar_value::'undefined' | binary(),sint64_value::'undefined' | integer(),timestamp_value::'undefined' | integer(),boolean_value::'false' | 'true' | 'undefined' | 0 | 1,double_value::'-infinity' | 'infinity' | 'nan' | 'undefined' | number()}]}]
riakc_pb_socket.erl:2241: Function start_auth/1 has no local return
riakc_pb_socket.erl:2242: Record construction #rpbauthreq{user::string(),password::string()} violates the declared type of field user::'undefined' | binary() and password::'undefined' | binary()
done in 0m4.03s
done (warnings were emitted)
make: *** [dialyzer-run] Error 2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment