umgeher/leveled
0
Fork 0
Code Issues Pull requests Releases Activity Actions

Cleanup dialyzer errrors in leveled_bookie

Browse source
This commit is contained in:
Heinz N. Gies 2017-07-31 19:58:56 +02:00
parent 8717d42ffe
commit 379e33ba84
2 changed files with 8 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

3
include/leveled.hrl
View file

@ -43,7 +43,7 @@
-record(inker_options, -record(inker_options,
{cdb_max_size :: integer() | undefined, {cdb_max_size :: integer() | undefined,
root_path :: string() | undefined, root_path :: string() | undefined,
cdb_options :: #cdb_options{}, cdb_options :: #cdb_options{} | undefined,
start_snapshot = false :: boolean(), start_snapshot = false :: boolean(),
source_inker :: pid() | undefined, source_inker :: pid() | undefined,
reload_strategy = [] :: list(), reload_strategy = [] :: list(),
@ -106,4 +106,3 @@
vclock, vclock,
updatemetadata=dict:store(clean, true, dict:new()), updatemetadata=dict:store(clean, true, dict:new()),
updatevalue :: term()}). updatevalue :: term()}).

14
src/leveled_bookie.erl
View file

@ -92,15 +92,15 @@
min_sqn = infinity :: integer()|infinity, min_sqn = infinity :: integer()|infinity,
max_sqn = 0 :: integer()}). max_sqn = 0 :: integer()}).
-record(state, {inker :: pid(), -record(state, {inker :: pid() | undefined,
penciller :: pid(), penciller :: pid() | undefined,
cache_size :: integer(), cache_size :: integer() | undefined,
recent_aae :: false|#recent_aae{}, recent_aae :: false | #recent_aae{} | undefined,
ledger_cache = #ledger_cache{}, ledger_cache = #ledger_cache{},
is_snapshot :: boolean(), is_snapshot :: boolean() | undefined,
slow_offer = false :: boolean(), slow_offer = false :: boolean(),
put_timing :: tuple(), put_timing :: tuple() | undefined,
get_timing :: tuple()}). get_timing :: tuple() | undefined}).
%%%============================================================================ %%%============================================================================