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

Type mismatch errors print a private abbreviation without private

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

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
72/100
Loại issue
Lỗi
Độ 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 bằng cách lần theo nơi trình biên dịch định dạng các lỗi khai báo kiểu không khớp và cách nó in các khai báo interface. Tái hiện ví dụ với các khai báo .resi và .res, sau đó kiểm tra đầu ra lỗi. Công việc hoàn tất khi thông báo giữ lại private trong kiểu interface và các bài kiểm thử trình biên dịch liên quan đều đạt.

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

Mô tả

When an implementation does not match a private abbreviation in its interface, the error message prints the interface declaration without private.

// M.resi
type a
type t = private a

// M.res
type a
type b
type t = b
Type declarations do not match: type t = b is not included in type t = a

Expected: ... is not included in type t = private a. As printed, the interface looks like a public alias, which hides why t cannot be coerced from a, the very property the declaration states.

Ngôn ngữ chính
OCaml
Star
7.5k
Fork
483
Merge trung bình
21 giờ 8 phút
Pull request đã merge (30 ngày)
183

Chuẩn bị môi trường

Mở trong Codespaces

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.

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 rescript-lang/rescript

Tất cả issue của rescript-lang/rescript

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.