diff options
author | Hans Bolinder <[email protected]> | 2015-12-09 15:05:40 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-12-15 08:55:07 +0100 |
commit | ce1cffd6f8812fa6216d9d71afaca20e789b7beb (patch) | |
tree | 7b88bb1a63bb087a50cf1a1569b18ca91234807b /lib/dialyzer/test/r9c_SUITE_data/results/mnesia | |
parent | 2af883c62efe6bae1bf9013783f43a5b9848c237 (diff) | |
download | otp-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/results/mnesia')
-rw-r--r-- | lib/dialyzer/test/r9c_SUITE_data/results/mnesia | 2 |
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',_,_} |