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

Fix bad specs

Browse source 
There were some bad specs in '|' OR'd specs.  These were being falsely ignored in dialyzer until https://github.com/erlang/otp/pull/1722.

Running on OTP21 exposed these incomplete specs.
This commit is contained in:
Martin Sumner 2018-06-21 15:46:42 +01:00
parent 65de71a2b5
commit 0dda129d3e
2 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/leveled_pmanifest.erl
View file

@ -79,8 +79,9 @@
-type manifest() :: #manifest{}.
-type manifest_entry() :: #manifest_entry{}.
-type manifest_owner() :: pid()|list().
-export_type([manifest/0, manifest_entry/0]).
-export_type([manifest/0, manifest_entry/0, manifest_owner/0]).
%%%============================================================================
%%% API
@ -324,7 +325,7 @@ get_manifest_sqn(Manifest) ->
Manifest#manifest.manifest_sqn.
-spec key_lookup(manifest(), integer(), leveled_codec:ledger_key())
-> false|manifest_entry().
-> false|manifest_owner().
%% @doc
%% For a given key find which manifest entry covers that key at that level,
%% returning false if there is no covering manifest entry at that level.