008 dir import no pub

✓ Passing This code compiles and runs correctly.

Code

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected compiler error

error[KORU044]: cannot access private event 'app.lib.raylib.graphics:render' from module 'input'
  --> tests/regression/100_MODULE_SYSTEM/110_IMPORTS/110_008_dir_import_no_pub/input.kz:13:0
    |
 13 | ~app/lib/raylib/graphics:render(width: 1920, height: 1080) |> app/lib/raylib/graphics:clear(color: 0xFF0000)
    | ^
  hint: mark the event as public with ~pub event

error[KORU044]: cannot access private event 'app.lib.raylib.graphics:clear' from module 'input'
  --> tests/regression/100_MODULE_SYSTEM/110_IMPORTS/110_008_dir_import_no_pub/input.kz:16:0
    |
 16 | 
    | ^
  hint: mark the event as public with ~pub event

error[KORU044]: cannot access private event 'app.lib.raylib.audio:play' from module 'input'
  --> tests/regression/100_MODULE_SYSTEM/110_IMPORTS/110_008_dir_import_no_pub/input.kz:14:4
    |
 14 |     | cleared |> app/lib/raylib/audio:play(sound_id: 42) |> app/lib/raylib/audio:stop()
    |    ^
  hint: mark the event as public with ~pub event

error[KORU044]: cannot access private event 'app.lib.raylib.audio:stop' from module 'input'
  --> tests/regression/100_MODULE_SYSTEM/110_IMPORTS/110_008_dir_import_no_pub/input.kz:14:4
    |
 14 |     | cleared |> app/lib/raylib/audio:play(sound_id: 42) |> app/lib/raylib/audio:stop()
    |    ^
  hint: mark the event as public with ~pub event

Imported Files

lib/raylib/audio.kz
lib/raylib/graphics.kz