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

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

1Hitze

1Antwort

erlang dialyzer und erweiterte Module

Dialysator mag keine Aufrufe von Funktionen im Basismodul. Gibt es ein Dialysator-Flag, um diesen Fehler zu überspringen oder mache ich etwas falsch. Hier ist ein ähnlicher Code: -module(base). -expo

6Hitze

1Antwort

Analysiert Dialyzer anonyme Funktionen?

In meinem Fortschritt des Lernens Elixir, spiele ich mit Dialyzer herum, um Typen auf meinen Funktionen zu setzen. In diesem Zusammenhang habe ich bemerkt, dass Dialyzer die Typen anscheinend nicht au

5Hitze

2Antwort

Warum sagt mir Dialyzer, dass dieser spaßige Vertrag überlappende Domains hat?

Ich lese mit Interesse das Online-Buch "learn you some erlang" und versuche ein paar Übungen, um mein Verständnis zu überprüfen. machte ich einige Änderungen auf dem Fifo Beispiel im Kapitel Typ Spezi

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

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