Attach Wave source provenance to Whale execution traps

Đang mở
  • Có gì không ổn?
#1,036 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ó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
42/100
Loại issue
Tính năng
Độ rõ ràng
Khá 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 with whale/src/codegen/mod.rs:23, then compare it with ir/src/source.rs and the upstream metadata/trap path referenced by the issue. Coordinate with @LunaStev before implementation because source-ID ownership and failure semantics are unresolved. Done means supported guard traps preserve the original file and span, generated/default-argument provenance keeps its coordinates, and tests cover serialization round-trips, missing metadata, and resource limits.

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

Mô tả

discussion enhancement help wanted

Motivation

The adapter uses Wave spans for source diagnostics, but does not populate upstream source metadata for generated execution guards. Current official Whale exposes SourceMetadata; future direct interpreter failures need a mapping back to the original Wave site.

Starting point: whale/src/codegen/mod.rs:23.

Validation

Audited canonical Wave 540728c2eb6cc12f5c69c3fb3fdb96e07ba059a4 (0.0.1-alpha-dev), whose tree matches the local checkout. Validation: Compared adapter source handling with official ir/src/source.rs; this is metadata integration, not native execution. Executed compiler probes use the matching checkout-built compiler and std on Linux amd64 (Rust 1.89.0 / LLVM 21.1.8). Source/header or mocked checks are not native execution on another OS.

Scope

After #996, define source-ID ownership and connect divide/shift/cast/uninitialized guard locations to the upstream metadata/trap path. Keep malformed IR distinct from source/runtime failures.

Related: #996, #895. These links do not claim those broader or completed scopes are unfinished.

Design discussion required

This issue records a proposal or an unresolved contract; it is not approval to choose new semantics. Please mention @LunaStev to discuss the design before starting implementation.

Completion criteria

  • Supported guard traps identify the original source file/span.
  • Generated/default-argument provenance is retained without changing source coordinates.
  • Serialization round-trip, missing metadata fallback and resource limits are covered.
Ngôn ngữ chính
Rust
Star
56
Fork
21
Merge trung bình
23 giờ 20 phút
Pull request đã merge (30 ngày)
45

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

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 wavefnd/Wave

Tất cả issue của wavefnd/Wave

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.