✓
Passing This code compiles and runs correctly.
Code
// PIN (part): parts are flat — file-splitting only, no nesting. A `part`
// inside a part file must be refused with a teaching diagnostic: parts are
// not a second module system, and the promotion path for a part that
// outgrows its file is the directory module tree that already exists.
part a
Supporting Files
// The part file — declares a part of its own, which flat parts refuse.
part deep
pub tor hello {}
Must fail at frontend compile:
Parsing or type-checking must reject the program.
Expected patterns
Each line is a regex that must match the program output.
error\[KORU204\]:.*part 'deep'.*part file