Spec :: dvr:dvr_opts(),
Name :: dvr:name(),
Storage :: dvr_hour_storage(),
LocalError :: unsupported_protocol.
дальше идет вызов:
{ok, DVR} = dvr_hour_storage:open(Spec, Name),
DVR
разве диалайзер не должен подсказать, что тут будет креш из-за badmatch?
Тут dialyser выругается, если посчитает, что от open в данном случае всегда вернётся только {error, _}, если no_match не включено. А вот если поставить case, то начнет возмущаться, что не все варианты включены.
Обсуждают сегодня