gistfile1.txt

dvvset.erl:157: Invalid type specification for function dvvset:update/2. The success typing is ({[{_,non_neg_integer()}],[any(),...]},_) -> {[{_,non_neg_integer()},...],[]}

dvvset.erl:169: Invalid type specification for function dvvset:update/3. The success typing is ({[{_,non_neg_integer(),[any()]}],[any(),...]},{[{_,non_neg_integer(),[any()]}],[any()]},_) -> {[{_,non_neg_integer()},...],[any()]}



riak_core_metadata.erl:190: The call riak_core_metadata:itr_default({_,_}) does not have an opaque term of type riak_core_metadata:iterator() as 1st argument

riak_core_metadata.erl:215: The call riak_core_metadata:itr_default({_,_}) does not have an opaque term of type riak_core_metadata:iterator() as 1st argument

riak_core_metadata.erl:230: The call riak_core_metadata:itr_default({_,_}) does not have an opaque term of type riak_core_metadata:iterator() as 1st argument

riak_core_metadata.erl:254: The call riak_core_metadata:itr_key(It::{_,_}) does not have an opaque term of type riak_core_metadata:iterator() as 1st argument

riak_core_metadata.erl:333: Function maybe_tombstones/2 will never be called



riak_core_metadata_exchange_fsm.erl:152: The call riak_core_metadata_hashtree:compare(RemoteFun::fun((_,_) -> any()),HandlerFun::fun((_,_) -> #exchange{local::'undefined' | non_neg_integer(),remote::'undefined' | non_neg_integer(),keys::'undefined' | non_neg_integer()}),#exchange{local::0,remote::0,keys::0}) does not have an opaque term of type hashtree_tree:remote_fun() as 1st argument

riak_core_metadata_exchange_fsm.erl:246: The call riak_core_metadata_manager:merge({{{atom() | binary(),atom() | binary()},_},'undefined'},RemoteObj::atom() | binary() | {'metadata',{[any()],[any()]}}) breaks the contract ({metadata_pkey(),metadata_context()},metadata_object()) -> boolean()

riak_core_metadata_exchange_fsm.erl:248: The call riak_core_metadata_manager:merge(Peer::atom(),{{{atom() | binary(),atom() | binary()},_},'undefiend'},LocalObj::atom() | binary() | {'metadata',{[any()],[any()]}}) breaks the contract (node(),{metadata_pkey(),metadata_context()},metadata_object()) -> boolean()



riak_core_metadata_manager.erl:182: Record construction #remote_iterator{node::pid(),prefix::atom() | binary()} violates the declared type of field node::atom()

riak_core_metadata_manager.erl:185: Record construction #remote_iterator{node::pid(),ref::tuple()} violates the declared type of field node::atom() and ref::'undefined' | reference()



riak_core_metadata_object.erl:83: The call dvvset:new({_,{non_neg_integer(),non_neg_integer(),non_neg_integer()}}) breaks the contract ([value()]) -> clock()

riak_core_metadata_object.erl:86: The call dvvset:new(Context::any(),{_,{non_neg_integer(),non_neg_integer(),non_neg_integer()}}) breaks the contract (vector(),[value()]) -> clock()



Unknown types:
  riak_core_metadata_manager:iterator/0