File 2792-add-more-specific-type-spec-for-mnesia-change_config.patch of Package erlang
From daa1f7a9d704c6de451da6b4a637a0f9de0f5531 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ferenc=20B=C3=B6r=C3=B6czki?=
<f3c0@users.noreply.github.com>
Date: Thu, 19 Jul 2018 12:25:51 +0200
Subject: [PATCH 2/2] add more specific type spec for mnesia:change_config
---
lib/mnesia/src/mnesia.erl | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/lib/mnesia/src/mnesia.erl b/lib/mnesia/src/mnesia.erl
index 60ca262039..62202401ed 100644
--- a/lib/mnesia/src/mnesia.erl
+++ b/lib/mnesia/src/mnesia.erl
@@ -168,6 +168,9 @@
-type snmp_struct() :: [{atom(), snmp_type() | tuple_of(snmp_type())}].
-type snmp_type() :: 'fix_string' | 'string' | 'integer'.
-type tuple_of(_T) :: tuple().
+-type config_key() :: extra_db_nodes | dc_dump_limit.
+-type config_value() :: [node()] | number().
+-type config_result() :: {ok, config_value()} | {error, term()}.
-define(DEFAULT_ACCESS, ?MODULE).
@@ -278,7 +281,8 @@ stop() ->
Other -> Other
end.
--spec change_config(Config::atom(), Value::_) -> {ok, _} | {error, term()}.
+-spec change_config(Config::config_key(), Value::config_value()) ->
+ config_result().
change_config(extra_db_nodes, Ns) when is_list(Ns) ->
mnesia_controller:connect_nodes(Ns);
change_config(dc_dump_limit, N) when is_number(N), N > 0 ->
--
2.16.4