Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

nit: fix misleading traversal-order comments in Syntax.lean and Parser.lean

Đang mở Phù hợp với người mới
#26 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

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
68/100
Loại issue
Tài liệu
Độ rõ ràng
Đặc tả rõ ràng
Mức độ hoạt động
Đình trệ
Lĩnh vực
compilers

Hướng nghiên cứu

Bắt đầu bằng cách đọc các comment tại Lck/Json/Syntax.lean:151-153 và Lck/Json/Parser.lean:68-70, sau đó đối chiếu chúng với phần triển khai traversal. Cập nhật cả hai comment để nêu rõ rằng việc xử lý là tail-first, theo thứ tự từ phải sang trái. Issue hoàn tất khi các comment khớp chính xác với phần triển khai.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

Problem

Comments in Lck/Json/Syntax.lean:151-153 and Lck/Json/Parser.lean:68-70 describe traversal order inaccurately. The actual traversal is right-to-left (tail processed first), but the comments do not reflect this.

Expected fix

Update the comments to accurately describe that elements are processed tail-first (right-to-left order), matching the actual implementation.

References

  • Flagged by AI code review on PR #8
Ngôn ngữ chính
Lean
Star
2
Fork
1
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

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. 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.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của lambdaclass/lambda_compiler_kit

Tất cả issue của lambdaclass/lambda_compiler_kit

Issue tương tự

Thêm issue về Compilers

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.