diff options
| author | Dan Gudmundsson <[email protected]> | 2011-02-23 14:30:27 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2011-03-02 08:16:18 +0100 |
| commit | 9b3fd5946a4689f7403e1910ebe9e4a713710df7 (patch) | |
| tree | 634ff3541c607cc637f852b20a8b47560e46eb61 /lib/mnesia/src/mnesia_lib.erl | |
| parent | cd7fc2cb900dcd296f2ba215dea1c691440107d0 (diff) | |
| download | otp-9b3fd5946a4689f7403e1910ebe9e4a713710df7.tar.gz otp-9b3fd5946a4689f7403e1910ebe9e4a713710df7.tar.bz2 otp-9b3fd5946a4689f7403e1910ebe9e4a713710df7.zip | |
Mnesia dialyzer fixes
With help from Kostis
Diffstat (limited to 'lib/mnesia/src/mnesia_lib.erl')
| -rw-r--r-- | lib/mnesia/src/mnesia_lib.erl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/mnesia/src/mnesia_lib.erl b/lib/mnesia/src/mnesia_lib.erl index 3da3dd2f5c..558eda467c 100644 --- a/lib/mnesia/src/mnesia_lib.erl +++ b/lib/mnesia/src/mnesia_lib.erl @@ -1,7 +1,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 1996-2010. All Rights Reserved. +%% Copyright Ericsson AB 1996-2011. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -390,6 +390,7 @@ set(Var, Val) -> unset(Var) -> ?ets_delete(mnesia_gvar, Var). +-spec other_val(_, _) -> no_return(). other_val(Var, Other) -> case Var of {_, where_to_read} -> nowhere; @@ -399,7 +400,7 @@ other_val(Var, Other) -> pr_other(Var, Other) end. --spec(pr_other/2 :: (_,_) -> no_return()). +-spec pr_other(_,_) -> no_return(). pr_other(Var, Other) -> Why = |