Relation literal rows are matched to columns by position, so rows with different field names or order produce wrong data

Đang mở
  • Có gì không ổn?
#6,415 2 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 3 ngày

Chưa có ai nhận issue này.

Đánh giá

Độ khó
3/5
Thời gian dự kiến
1-2 ngày
Mức phù hợp với người mới
70/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ệ
rust
Lĩnh vực
compilers

Hướng nghiên cứu

Start at prqlc/prqlc/src/semantic/lowering.rs L377-L414, where pl::ExprKind::Array is lowered into RelationLiteral.columns: columns come from the first row's lineage, and later rows' tuple values are copied in position, ignoring field names. First settle with the maintainers the open design question — reorder each row by name, or reject mismatched rows — plus the rule for unnamed fields like {1, 2}; coordinate with open PR #6413, which edits the same block. Done means from [{a=1, b=2}, {b=3, a=4}] compiles to SQL preserving names, and the other two example shapes either reorder or fail cleanly as decided.

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

Mô tả

bug

A relation literal takes its column names from the first row only. Every later row is matched to those columns by position, ignoring its own field names. Queries whose rows disagree compile without error and produce wrong data.

from [{a=1, b=2}, {b=3, a=4}]

compiles (at c945ca81) to

WITH
table_0 AS (
  SELECT
    1 AS a,
    2 AS b
  UNION ALL
  SELECT
    3 AS a,
    4 AS b
)
SELECT
  a,
  b
FROM
  table_0

So the second row comes back as a=3, b=4 rather than a=4, b=3. Two related shapes go wrong the same way:

  • from [{a=1}, {b=2}] yields one column a with values 1, 2. The second row's b is renamed to a.
  • from [{a=1}, {a=2, b=3}] yields only column a. The second row's b=3 is dropped.

The lowering of pl::ExprKind::Array builds RelationLiteral.columns from the expression's lineage, then copies each row's tuple values in order without looking at their names (lowering.rs).

There are two plausible fixes: reorder each row's fields to match the first row's columns by name, or reject rows whose field names differ from the first row's with a compile error. Either way, unnamed fields ({1, 2}) need a rule too: whether they stay positional, and whether mixing named and unnamed fields is allowed. Open PR #6413 changes the same block (it reports malformed rows instead of panicking), so a fix here will probably build on it.

A review of #6413 first spotted this; it isn't caused by that PR.

Ngôn ngữ chính
Rust
Star
10.9k
Fork
261
Merge trung bình
3 ngày 21 giờ
Pull request đã merge (30 ngày)
84

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 PRQL/prql

Tất cả issue của PRQL/prql

Issue tương tự

Thêm issue về Rust

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.