dialyzer

2зной

1ответ

Erlang: НИФ и диализаторов предупреждение

При реализации НИФ, диализных дает мне Функция CRC16/1 не имеет локального возвращения вероятно потому, что я выход в модуле .erl (например, официальные документы рекомендуют): -module(my_nifs). -exp

erlang dialyzer erlang-nif 2014-10-28

---

2зной

1ответ

«Диализатор: сбой анализа с ошибкой ..» (ошибка диализа или неправильное использование типа карты?)

Работая над очень простым приложением в процессе изучения эликсира, я столкнулся с небольшим препятствием при проверке типов с помощью диализаторы. Запуск диализатора в моем коде приводит к ошибке Ana

elixir dialyzer 2015-07-14

---

1зной

1ответ

Эрланг-диализатор на окнах

Я нахожусь на машине с Windows 10. Я установил эликсир через шоколад; это устанавливает Erlang 18. Как установить диализатор? Является ли консольное приложение единственным файлом unix?

windows erlang elixir dialyzer 2015-10-22

---

3зной

1ответ

Спецификации типа Эликсира и переменные параметризованного типа

Я пытаюсь выяснить, как скомбинировать с параметризованными типами и переменными типа в спецификациях типа Elixir. В качестве простого примера, скажем, я определяю в Stack модуль: defmodule Stack do

types elixir dialyzer 2015-11-03

---

1зной

2ответ

игнорируя существующие ошибки диализатора с make и grep

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

jenkins grep erlang makefile dialyzer 2015-01-13

---