bitwalker / bitwalker/libgraph
Might be better for Graph.topsort/1 to return :error and {:ok, sorted_graph}?
- 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