Я пытаюсь заставить jenkins запускать диализатор на коде erlang, но у меня проблема. Поскольку мы внедряем это в существующий проект, существует ряд существующих ошибок, которые мы не хотим отмечать, которые у нас есть в файле...

У меня есть проект, в котором нет -spec или -type в коде, в настоящее время диализатор может обнаруживать некоторые предупреждения, большинство из которых находятся в кодах, сгенерированных машиной. Заставит ли диализатор обнаруживать больше...

free_vars_in_dterm({var, V}) -> {var, V}; явно не может проверить тип, однако диализатор говорит, что все в порядке. $ dialyzer *erl Checking whether the PLT ~/.dialyzer_plt is up-to-date... yes Proceeding with analysis... done in...

Следующий код Erlang, кажется, имеет очевидную ошибку в спецификации типа, но диализатор говорит, что все в порядке. Я неправильно понял или это ошибка диализатора? Работает на Erlang 19.3 -module(foobar). -export([foo/1]). -spec foo(atom())...

Я использую Dialyzer для исправления ошибок в коде Erlang. io:format(IoDevice, "[]"); Эта строка выдает следующую ошибку: The call io:format(IoDevice::pid(),[91 | 93,...]) will never return since the success typing is (atom()...

Я использую dialyxir , который добавляет dialyzer задачу в Mix. Но, похоже, у него нет опции --watch , которая повторно запускала бы проверку типов при изменении файла. Есть ли способ CLI для достижения этого?

У меня есть простой код, показанный ниже, чтобы проверить, как Erlang обрабатывает исключения. Ссылка **** на бросок и ловлю. -module(exception). -export([sum/2]). -export([is_odd/1]). sum(A, B) -> case is_odd(A) of odd ->...

Я использую Elixir и получаю сообщение об ошибке Dialyzer (через Dialyxir), в котором говорится The pattern variableVdate can never match, because previous clauses completely cover the type {:error, :badarg}. Вот код date =...

У меня есть большое приложение Elixir (1.7.4) и запущен диализатор (с последней версией dialyxir). Я получаю много ошибок unknown_function для функций, которые, по-видимому, в основном находятся в модулях, вложенных в пакеты, которые у меня есть в...