010 module annotation serialization

✓ Passing This code compiles and runs correctly.

Code

// Test: Module annotations are correctly serialized to backend.zig
//
// Verifies that when modules are imported, their annotations
// (like [comptime], [runtime], [comptime|runtime]) are preserved
// in the serialized AST in backend.zig
//
// std.io has [comptime|runtime] → should have both in backend.zig
// std.compiler has [comptime] → should have only "comptime" in backend.zig

~import "$std/io"

~event hello {}
| done {}

~proc hello {
    return .{ .done = .{} };
}

~hello()
| done |> _

input.kz

Test Configuration

MUST_RUN

Post-validation Script:

#!/bin/bash
# Verify module annotations are correctly serialized in backend.zig
# post.sh runs in the test directory, so use relative paths

# Check std.io has [comptime|runtime] annotations
# Pattern: .annotations = &.{"comptime", "runtime"}...io.kz
if ! grep -q 'annotations = &\.{"comptime", "runtime"}.*io\.kz' backend.zig; then
    echo "FAIL: std.io should have annotations = &.{\"comptime\", \"runtime\"}"
    grep "io\.kz" backend.zig | head -1 || echo "(not found)"
    exit 1
fi

# Check std.compiler has [comptime] annotation only
# Pattern: .annotations = &.{"comptime"}...compiler.kz
if ! grep -q 'annotations = &\.{"comptime"}.*compiler\.kz' backend.zig; then
    echo "FAIL: std.compiler should have annotations = &.{\"comptime\"}"
    grep "compiler\.kz" backend.zig | head -1 || echo "(not found)"
    exit 1
fi

# NOTE: compiler_requirements.kz was removed - its functionality merged into compiler.kz

echo "PASS: All module annotations correctly serialized"
exit 0

← 009 json vs koru bench 020 nested branch shadowing →