Issue #972: nikaia check tests/X.nika inside a project prints another file’s refusal

Open and answer this issue on GitHub.

ready · opened 2026-10-29 · updated 2026-10-29 · 1 comment

Found while building #949 (b949 report).

When it is run inside tests/compiler, nikaia check tests/X.nika prints the refusal of another file (a_bang_after_a_name_is_not_a_second_statement) instead of X’s. The builder had to generate the .stderr files from a copy outside the project.

Probe: cd tests/compiler && nikaia check tests/a_mut_parameters_field_left_out_is_refused.nika, with any test whose expected refusal is not the bang test’s.

To build

1. check given a file inside a project reports that file’s findings, not the first refusal of the whole package (or it names both clearly).
2. Add a test (a tests/compiler program, or a test in the package that runs check).

Comments

keywan-ghadami, 2026-10-29

Triage (#982), class B: waits for P5b. project_for_file / packages_of_file in project.rs decide which file check FILE reports.

---

Generated by Claude Code

Back to Open Issues