aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/r9c_SUITE_data
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-12-09 15:05:40 +0100
committerHans Bolinder <[email protected]>2015-12-15 08:55:07 +0100
commitce1cffd6f8812fa6216d9d71afaca20e789b7beb (patch)
tree7b88bb1a63bb087a50cf1a1569b18ca91234807b /lib/dialyzer/test/r9c_SUITE_data
parent2af883c62efe6bae1bf9013783f43a5b9848c237 (diff)
downloadotp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.tar.gz
otp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.tar.bz2
otp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.zip
dialyzer: Print constraints using the '::' syntax
Diffstat (limited to 'lib/dialyzer/test/r9c_SUITE_data')
-rw-r--r--lib/dialyzer/test/r9c_SUITE_data/results/mnesia2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/r9c_SUITE_data/results/mnesia b/lib/dialyzer/test/r9c_SUITE_data/results/mnesia
index 1dc5a105bf..220b18ca7a 100644
--- a/lib/dialyzer/test/r9c_SUITE_data/results/mnesia
+++ b/lib/dialyzer/test/r9c_SUITE_data/results/mnesia
@@ -6,7 +6,7 @@ mnesia_bup.erl:111: The created fun has no local return
mnesia_bup.erl:574: Function fallback_receiver/2 has no local return
mnesia_bup.erl:967: Function uninstall_fallback_master/2 has no local return
mnesia_checkpoint.erl:1014: The variable Error can never match since previous clauses completely covered the type {'ok',#checkpoint_args{nodes::[any()],retainers::[any(),...]}}
-mnesia_checkpoint.erl:894: The call sys:handle_system_msg(Msg::any(),From::any(),'no_parent','mnesia_checkpoint',[],Cp::#checkpoint_args{}) breaks the contract (Msg,From,Parent,Module,Debug,Misc) -> no_return() when is_subtype(Msg,term()), is_subtype(From,{pid(),Tag::_}), is_subtype(Parent,pid()), is_subtype(Module,module()), is_subtype(Debug,[dbg_opt()]), is_subtype(Misc,term())
+mnesia_checkpoint.erl:894: The call sys:handle_system_msg(Msg::any(),From::any(),'no_parent','mnesia_checkpoint',[],Cp::#checkpoint_args{}) breaks the contract (Msg,From,Parent,Module,Debug,Misc) -> no_return() when Msg :: term(), From :: {pid(),Tag::_}, Parent :: pid(), Module :: module(), Debug :: [dbg_opt()], Misc :: term()
mnesia_controller.erl:1666: The variable Tab can never match since previous clauses completely covered the type [any()]
mnesia_controller.erl:1679: The pattern {'stop', Reason, Reply, State2} can never match the type {'noreply',_} | {'reply',_,_} | {'stop','shutdown',#state{}}
mnesia_controller.erl:1685: The pattern {'noreply', State2, _Timeout} can never match the type {'reply',_,_}