Might be better for Graph.topsort/1 to return :error and {:ok, sorted_graph}?
还没有人认领这个 Issue。
评估
调研方向
从 Graph.topsort/1 开始，根据其当前的 typespec 和返回行为复现报告中的 Dialyzer 警告。确定矛盾是由实现还是注解导致的；完成的标准是 topsort contract 一致，并且报告中的检查不再产生不可能比较警告。
由索引模型根据 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 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 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 一周以上 新手友好度 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 天内回复