050 import empty path

✓ Passing This code compiles and runs correctly.

Code

// Test: Import with empty path
// GOOD: Frontend catches with clear error about $ alias

~import ""

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected compiler error

error[PARSE003]: imports take a bare path, not a string: write `~import ` (no quotes)
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_050_import_empty_path/input.kz:4:1
    |
  4 | ~import ""
    | ^

← 033 empty type after colon 052 reject tilde import →