Repository navigation

Reference correct source file and name in diagnostics in imported avdl files - #26

Merged

jonhoo merged 5 commits into

jonhoo:mainfrom

mrathelsing:mr/report-errors-in-imported-files

May 12, 2026

Merged

Reference correct source file and name in diagnostics in imported avdl files#26
jonhoo merged 5 commits into
jonhoo:mainfrom
mrathelsing:mr/report-errors-in-imported-files

Commits on May 7, 2026
- Add Test showing Unknown-Type diagnostics are reported on wrong file
  mrathelsing
  committed
  8cc2091
- Reference correct SourceFile and name in diagnostics in imported avdl files
  mrathelsing
  committed
  3986395
Commits on May 11, 2026
- Replace `Arc`s with just leaking all code/file_names
  mrathelsing
  committed
  880f42b
Commits on May 12, 2026
- reduce diff, revert renaming spans/source to sws/src
  mrathelsing
  committed
  013a7f7
- s/file_name/name
  mrathelsing
  committed
  68b1c75