LuaLS / LuaLS/lua-language-server
Indexing anything other than tables and userdata should give an error
Đang mở
Chưa có ai nhận issue này.
enhancement
- Ngôn ngữ chính
- Lua
- Star
- 4.4k
- Fork
- 442
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
How are you using the lua-language-server?
NeoVim
Which OS are you using?
Linux
What is the issue affecting?
Type Checking
Expected Behaviour
Type error: attempt to index number
Actual Behaviour
No type error reported by LLS, runtime error: attempt to index number
Reproduction steps
a = 1
a.b = 2
Additional Notes
The inferred type is strange:
a: number {
b: unknown,
}
Log File
No response
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.
Hướng nghiên cứu
Bắt đầu bằng cách chạy bản tái hiện Lua được cung cấp trong quy trình kiểm tra kiểu của language server và theo dõi cách các biểu thức lập chỉ mục được xử lý. Được xem là hoàn tất khi việc lập chỉ mục một số báo lỗi kiểu như “attempt to index number” và không suy luận một trường trên số đó; issue không xác định tệp nguồn hay đường dẫn kiểm thử nào.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Công nghệ
- lua
- Lĩnh vực
- devtools
- Loại issue
- Lỗi
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức độ hoạt động
- Đình trệ
- Độ rõ ràng
- Đặc tả rõ ràng
- Mức phù hợp với người mới
- 45/100