Wrong return value in @spec for Graph.in_edges().
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 1/5
- Thời gian dự kiến
- Dưới một giờ
- Mức phù hợp với người mới
- 35/100
Hướng nghiên cứu
Bắt đầu trong lib/graph.ex, khoảng dòng 2122, nơi @spec của Graph.in_edges/2 được khai báo, và so sánh nó với giá trị trả về được ghi trong tài liệu cùng các cảnh báo của Dialyzer trong issue. Hoàn tất khi đặc tả kiểu khớp với giá trị trả về là danh sách của hàm và lỗi không khớp Dialyzer được báo cáo không còn xuất hiện.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Hello. As I understand from the documentation, Graph.in_edges() is supposed to return "a list of Graph.Edge". However, the @spec declares that only one edge is returned.
@spec in_edges(t, vertex) :: Edge.t()
This is causing Dialyzer some discomfort:
Line 1193 Column 9: The pattern [Edge] can never match the type #{'__struct__':='Elixir.Graph.Edge', 'label':=_, 'v1':=_, 'v2':=_, 'weight':=number()}
Line 1194 Column 9: The pattern [Edge | More] can never match the type #{'__struct__':='Elixir.Graph.Edge', 'label':=_, 'v1':=_, 'v2':=_, 'weight':=number()}
Note that I'm using libgraph from an Erlang module, but of course, that shouldn't matter. I'm using version 0.16.0 of the library.
- Ngôn ngữ chính
- Elixir
- Star
- 571
- Fork
- 76
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của bitwalker/libgraph
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Failing tests Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
Tất cả issue của bitwalker/libgraph
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
carverauto/serviceradar#4596 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
agentjido/jido_harness#80 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100
sevenseacat/cinder#235 ·