Repository navigation

Fix dropping of error locations - #37

Merged

cchalmers merged 2 commits into

fix-error-locations

Jun 23, 2026

Merged

Fix dropping of error locations#37
cchalmers merged 2 commits into
masterfrom
fix-error-locations

Commits on Jun 23, 2026
- Fix dropping of error locations
  
  cchalmers
  and
  claude
  committed
  36c873b
- Add error-location regression test
  
  cchalmers
  and
  claude
  committed
  6b88435