otp-mnesia

Code pulled with git from git://github.com/erlang/otp.git with the last commit being

These are Intersection warnings for otp-mnesia.

(Only new warnings by Intersection-enabled analysis are listed. Warnings by current public version of Dialyzer are listed here.)

dialyzer -n -q -Wno_improper_lists --apps mnesia
mnesia_checkpoint.erl:139: The pattern {'error', Reason} can never match the type {'ok',#checkpoint_args{cookie::{{_,_,_},atom()}}}
mnesia_index.erl:55: The call mnesia_lib:other_val(Var::{_,'commit_work' | 'index' | 'setorbag' | 'storage_type' | {'index',_}},_ReASoN_::any()) will never return since it differs in the 1st argument from the success typing arguments: ({_,'active_replicas' | 'where_to_write'},any()) or ({_,'where_to_read'},any())
mnesia_recover.erl:152: The call mnesia_lib:other_val(Var::'latest_transient_decision' | 'max_wait_for_decision' | 'previous_transient_decisions' | 'recover_nodes',Reason::any()) will never return since it differs in the 1st argument from the success typing arguments: ({_,'active_replicas' | 'where_to_write'},any()) or ({_,'where_to_read'},any())
mnesia_snmp_hook.erl:35: The call mnesia_lib:other_val(Var::{_,'snmp' | {'index','snmp'}},_ReASoN_::any()) will never return since it differs in the 1st argument from the success typing arguments: ({_,'active_replicas' | 'where_to_write'},any()) or ({_,'where_to_read'},any())

Applications