dialyzer

6Hitze

1Antwort

Erlang: Wird das Hinzufügen von Typ-Spec zu Code den Dialysator effektiver machen?

Ich habe ein Projekt, das -spec oder -type in Code nicht hat, kann Dialyse derzeit einige Warnungen finden, die meisten von ihnen sind in maschinengenerierten Codes. Wird das Hinzufügen von Typspezifi

erlang dialyzer 2015-12-21

---

1Hitze

1Antwort

Phoenix Dialysator Changeset Warnung

Dialysator über Phoenix Modelle beklagt, wenn sie auf die übliche Art und Weise aufgebaut, dh def changeset(model, params \\ :empty) ... die params anweisen, wie das Modell aktualisiert werden soll

elixir phoenix-framework dialyzer 2016-04-06

---

0Hitze

1Antwort

Kann nicht undurchsichtige Typen erhalten eine Abstraktions Verletzung in Dialysator

hier ein Modul ist, um zu bewirken, dass eine undurchsichtige Art definiert: -module(a). -export([people/0, get_names/1]). -export_type([person/0]). -opaque person() :: {person, first_name()}. -

erlang dialyzer 2017-03-23

---

1Hitze

1Antwort

Warum kann Erlang Dialyzer im folgenden Code keinen Typfehler finden?

free_vars_in_dterm({var, V}) -> {var, V}; kann natürlich nicht überprüfen, aber Dialysegerät sagt alles ist in Ordnung. $ dialyzer *erl Checking whether the PLT ~/.dialyzer_plt is up-to-date... y

types erlang dialyzer 2017-03-28

---

5Hitze

1Antwort

Warum fängt Dialyzer diesen einfachen Fehler nicht auf?

Dialysator Signal nicht die Inkonsistenz in dem Rückgabetyp dieser Funktion -spec myfun(integer()) -> zero | one. myfun(0) -> zero; myfun(1) -> one; myfun(2) -> other_number. aber es erkennt, in

erlang dialyzer 2016-04-15

---

2Hitze

1Antwort

Wie vermeidet man Dialyzer-Fehler für Protokolle?

Ein einfaches Protokoll ergibt zwei Arten von Dialysatoren Warnungen: defmodule Dtest do defprotocol Valid do @doc "Returns true if data is in a valid state" def valid?(data) end

protocols elixir dialyzer 2016-06-06

---

1Hitze

1Antwort

Funktion arity als Ergebnis der Standardparameter in Elixier Dialysator machen beschweren

ich eine Funktion mit zwei Standardparameter haben defp foo(bar, baz, qux \\ "", garply \\ nil) ich zwei Verwendungen haben, liefert man nur die ersten beiden Parameter, die andere alle 4. Dialyzer be

elixir dialyzer 2017-07-13

---

0Hitze

1Antwort

Benutzerdefinierte Ausnahmen und Typ-Spezifikationen

In Elixier Sie eine benutzerdefinierte Ausnahme wie folgt definieren: defmodule AppWeb.CustomError do defexception message: "some custom server error", plug_status: 500 end Aber dies ist kein

elixir phoenix-framework dialyzer 2017-12-11

---

2Hitze

1Antwort

Warum erkennt der Dialysator diesen schlechten Typ nicht?

Dialyzer verhält sich in diesem Fall eher seltsam, und ich habe nichts gefunden, um es besser zu verstehen. Diese ist kein Fehler: defmodule Blog.UserResolver do @type one_user :: ({:error, Strin

erlang elixir dialyzer 2017-06-04

---

0Hitze

2Antwort

Dialyxir Mix Aufgabe zum Erstellen von PLT-Exits ohne Fehler oder Erstellen von Tabelle

Ich versuche Dialyxir zu verwenden, um Dialyse-Analyse auf meinem Projekt durch die Mix-Aufgaben, die es bietet. Ich habe es zu meinen Abhängigkeiten hinzugefügt und kompiliert wie in der README. Wenn

elixir mix dialyzer 2016-10-04

---