`forbiddenPredicatesChecker` does not detect forbidden predicates used with `is` operator
Maintainer thường phản hồi trong vòng 1 ngày
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 2/5
- Thời gian dự kiến
- 1-3 giờ
- Mức phù hợp với người mới
- 85/100
Hướng nghiên cứu
Xem hàm grabPredicateIdentities trong mô-đun phân tích mã. Bản sửa lỗi là mở rộng toàn bộ đối số của toán tử is để phát hiện các vị từ bị cấm như mod/2 được sử dụng trong các biểu thức is. Kiểm tra bằng cách chạy trình kiểm tra với các ví dụ Prolog được cung cấp và xác nhận rằng mod/2 được đánh dấu.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
codeAnalysis:
forbiddenPredicates:
- mod/2
p(X) :- 0 is X mod 2.
% or
p(X) :- 20 is (X mod 2) + (2 * 7).
The usage of mod/2 is not detected.
The detected predicates here are only p/1 and is/2. The fix would be to make grabPredicateIdentities fully expand the arguments of is.
- Ngôn ngữ chính
- Haskell
- Star
- 0
- Fork
- 1
- Merge trung bình
- 1 ngày 17 giờ
- Pull request đã merge (30 ngày)
- 16
Chuẩn bị môi trường
- Không có Dockerfile hay tệp Docker Compose
- Có mẫu pull request
- Không có hướng dẫn đóng góp
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 fmidue/prolog-programming-task
-
clone detection settingsĐang mở
Độ khó 3/5 Nửa ngày Mức phù hợp với người mới 55/100
fmidue/prolog-programming-task#46 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
fmidue/prolog-programming-task#42 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
fmidue/prolog-programming-task#36 · 4 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
fmidue/prolog-programming-task#29 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
fmidue/prolog-programming-task#21 ·
Maintainer thường phản hồi trong vòng 1 ngày
Tất cả issue của fmidue/prolog-programming-task
Issue tương tự
-
An empty line splits a signature where an ordinary comment is right above an argument's HaddockĐang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
mrkkrp/tilia#213 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
dhall-lang/dhall-haskell#2870 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100
alunduil/collection-json.hs#391 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
plutus
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
IntersectMBO/cardano-ledger#6152 ·
Maintainer thường phản hồi trong vòng 3 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100