Might be better for Graph.topsort/1 to return :error and {:ok, sorted_graph}?
まだ誰も着手していません。
評価
調査の方向性
Graph.topsort/1 から始め、現在の typespec と戻り値の動作に対して報告されている Dialyzer 警告を再現します。矛盾の原因が実装なのかアノテーションなのかを特定します。topsort の契約に一貫性があり、報告されたチェックで impossible-comparison warning が発生しなくなれば完了です。
索引モデルが issue の本文から書いたものです。
説明
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.
- 主要言語
- Elixir
- スター
- 571
- フォーク
- 76
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
bitwalker/libgraph のほかの issue
-
難易度 1/5 1時間未満 初心者へのやさしさ 35/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
Failing testsオープン
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
Poor performance of Graph.delete_vertex/2 in large graphs対応中かも @stevensonmt が 637 日前に担当しました。 オープン
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
bitwalker/libgraph の issue をすべて見る
似ている issue
-
marketing v9
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
revelrylabs/harmonium#715 ·
-
Feature:Resolution
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
intellij-elixir/intellij-elixir#4396 ·
メンテナーはふだん 1 日以内に返信
-
Python 3.15 support対応中かも @amnesiaof が 1 日前に担当しました。 オープンL: python L: python:uv
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
dependabot/dependabot-core#16524 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
DROOdotFOO/raxol#1237 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
expert-lsp/expert#929 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信