From ea3a425e097500e6816f3919d09c8d61120d47cb Mon Sep 17 00:00:00 2001 From: Russell Brown Date: Thu, 11 Jan 2018 12:17:11 +0000 Subject: [PATCH] Update dialyzer type for orddict->dict change --- src/riak_dt_lwwset.erl | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/riak_dt_lwwset.erl b/src/riak_dt_lwwset.erl index 6905756..10f5039 100644 --- a/src/riak_dt_lwwset.erl +++ b/src/riak_dt_lwwset.erl @@ -67,20 +67,24 @@ -export_type([lwwset/0, lwwset_op/0, binary_lwwset/0]). --type lwwset() :: [entry()]. +-type lwwset() :: dict(member(), {ts(), status()}). -type binary_lwwset() :: binary(). %% A binary that from_binary/1 will operate on. -type lwwset_op() :: {add, member(), ts()} | {remove, member(), ts()}. --type entry() :: {member(), {ts(), status()}}. - -type member() :: term(). -type ts() :: pos_integer(). -type status() :: add() | remove(). -type add() :: ?ADD. -type remove() :: ?REM. +-ifdef(namespaced_types). +-type dict(A, B) :: dict:dict(A, B). +-else. +-type dict(_A, _B) :: dict(). +-endif. + -ifdef(EQC). -define(DICT, orddict). -else.