bitwalker / bitwalker/libgraph

Might be better for Graph.topsort/1 to return :error and {:ok, sorted_graph}?

Offen
#27 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
Elixir
Sterne
571
Forks
76
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

Dialyzer complains `The test [any()] == 'false' can never evaluate to 'true'` when I try to check the output of `Graph.topsort/1`. Apparently the typespec annotation confused it. I guess one could either change the return value to `:error | {:ok, sorted_graph}` or change the typespec so that Dialyzer doesn't find it problematic? Or am I doing something wrong here.

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Rechercherichtung

Beginne bei Graph.topsort/1 und reproduziere die gemeldete Dialyzer-Warnung anhand des aktuellen typespec und des Rückgabeverhaltens. Ermittle, ob die Implementierung oder die Annotation den Widerspruch verursacht; abgeschlossen ist die Aufgabe, wenn der topsort-Vertrag konsistent ist und die gemeldete Prüfung nicht mehr die Warnung über einen unmöglichen Vergleich erzeugt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
elixir
Bereich
backend
Issue-Typ
Bug
Schwierigkeit
4/5
Geschätzter Aufwand
3-5 Tage
Aktivitätsstatus
Veraltet
Klarheit
Muss geklärt werden
Anfängerfreundlichkeit
25/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.