diff options
| author | Dan Gudmundsson <[email protected]> | 2014-03-03 15:30:31 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2014-03-28 09:55:57 +0100 |
| commit | faae15d89ac03fce87f0370b011ed71f85d83d8b (patch) | |
| tree | d27ece9491944a25fa205ae6565565facb58695c /lib/mnesia/src/mnesia_lib.erl | |
| parent | c57f0f96bab1951d9c5ecf80d64f0624e96d2417 (diff) | |
| download | otp-faae15d89ac03fce87f0370b011ed71f85d83d8b.tar.gz otp-faae15d89ac03fce87f0370b011ed71f85d83d8b.tar.bz2 otp-faae15d89ac03fce87f0370b011ed71f85d83d8b.zip | |
mnesia: Dialyzer fixes
Diffstat (limited to 'lib/mnesia/src/mnesia_lib.erl')
| -rw-r--r-- | lib/mnesia/src/mnesia_lib.erl | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/lib/mnesia/src/mnesia_lib.erl b/lib/mnesia/src/mnesia_lib.erl index 109e924971..a32c69c59e 100644 --- a/lib/mnesia/src/mnesia_lib.erl +++ b/lib/mnesia/src/mnesia_lib.erl @@ -115,6 +115,8 @@ mkcore/1, not_active_here/1, other_val/2, + other_val/1, + pr_other/2, overload_read/0, overload_read/1, overload_set/2, @@ -389,16 +391,19 @@ unset(Var) -> ?ets_delete(mnesia_gvar, Var). other_val(Var, Other) -> + case other_val(Var) of + error -> pr_other(Var, Other); + Val -> Val + end. + +other_val(Var) -> case Var of {_, where_to_read} -> nowhere; {_, where_to_write} -> []; {_, active_replicas} -> []; - _ -> - pr_other(Var, Other) + _ -> error end. --spec pr_other(_,_) -> no_return(). - pr_other(Var, Other) -> Why = case is_running() of |