Outcome printer formats the bigint sign by hand instead of `Bigint_utils.to_string`
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
- 78/100
- Loại issue
- Tái cấu trúc
- Độ rõ ràng
- Đặc tả rõ ràng
- Mức độ hoạt động
- Sôi nổi
- Công nghệ
- ocaml
- Lĩnh vực
- compilers
Hướng nghiên cứu
Bắt đầu tại nhánh xử lý hằng số bigint trong compiler/syntax/src/res_outcome_printer.ml quanh dòng 486-487, nơi dấu và các chữ số được ghép thủ công. So sánh với Bigint_utils.to_string trong compiler/ml/bigint_utils.ml, và kiểm tra cách res_core.ml đã gọi Bigint_utils từ thư viện syntax. Hoàn thành khi printer gọi hàm hỗ trợ dùng chung, logic xử lý dấu viết tay được loại bỏ, và đầu ra in ra không thay đổi cho bigint dương và bigint âm.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Found by differential semantic drift analysis from ece8b148 to a7721303.
What is broken
res_outcome_printer.ml L486-L487 formats a bigint constant by hand: (if positive then "" else "-") ^ digits ^ "n". The same logic exists as Bigint_utils.to_string, used by printlambda.ml and printtyped.ml. #8732 fixed a sign bug in exactly this hand-written copy. The syntax library already depends on ml and uses Bigint_utils (res_core.ml), so the printer can call the shared helper and keep one definition of the sign convention.
Possible cause (speculation only)
A guess: the fix in #8732 corrected the copy in place, the smallest change, rather than replacing it with the shared helper.
- Ngôn ngữ chính
- OCaml
- Star
- 7.5k
- Fork
- 484
- Merge trung bình
- 22 giờ 10 phút
- Pull request đã merge (30 ngày)
- 70
Chuẩn bị môi trường
Khởi chạy dev container của dự án ngay trên trình duyệt, bằng tài khoản GitHub của bạn.
- Không có Dockerfile hay tệp Docker Compose
- Không có mẫu pull request
- Đọ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 rescript-lang/rescript
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
rescript-lang/rescript#8765 ·
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 82/100
rescript-lang/rescript#8761 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Issues from differential semantic drift analysis (ece8b148 to a7721303)Có thể đã có người làm @cknitt đã nhận hôm nay. Đang mở
rescript-lang/rescript#8768 · 1 người được giao ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 Nửa ngày Mức phù hợp với người mới 55/100
rescript-lang/rescript#8767 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 Nửa ngày Mức phù hợp với người mới 72/100
rescript-lang/rescript#8766 ·
Maintainer thường phản hồi trong vòng 1 ngày
Tất cả issue của rescript-lang/rescript
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
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 66/100
Maintainer thường phản hồi trong vòng 5 ngày
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 66/100
partiql/partiql-lang-kotlin#1972 ·
-
area:protocol bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
Maintainer thường phản hồi trong vòng 1 ngày
-
area:backend bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 62/100
Chelis-Lang/chelis#3500 ·
Maintainer thường phản hồi trong vòng 1 ngày