009 cross module impl inline body

// ============================================================================
// REGRESSION TEST
// ============================================================================
// Test: inline_body inside cross-module subflow_impl override
// Feature: When a transform (e.g. [expand]) sets inline_body on a flow inside
//          a cross-module subflow_impl (is_impl=true), the emitter must
//          emit the inline code. This is the exact pattern orisha:router uses.
// Verifies: emitEventDecl's is_impl flow path respects Flow.inline_body
// ============================================================================

~import std/template

const std = @import("std");

// Template: classify a number as positive or not
~std/template:define(name: "classify-num") {
    blk: {
        const Result = union(enum) {
            positive: i32,
            non_positive: void,
        };
        const __v: i32 = {{ expr }};
        if (__v > 0) {
            break :blk Result{ .positive = __v };
        } else {
            break :blk Result{ .non_positive = {} };
        }
    }
}

// [expand] event — template produces inline_body + branches
~[norun|expand]pub event classify-num { expr: Expression }
| positive i32
| non-positive

// Abstract event — simulates a library event like orisha:handler
~[abstract]pub event categorize { value: i32 } -> i32

// Default implementation (fallback)
~proc categorize|zig {
    return -999;
}

// Cross-module impl using expand — THIS IS THE KEY PATTERN
// input:categorize means is_impl=true (module qualifier present)
// classify-num is [expand] so it sets inline_body on the flow
// The emitter must use inline_body instead of trying to call classify_num_event.handler
~input:categorize = classify-num(expr: value)
| positive p -> p
| non-positive -> 0

// Helper to print
~event print-num { n: i32 }

~proc print-num|zig {
    std.debug.print("{}\n", .{n});
}

// Test 1: positive value -> should output 42
~categorize(value: 42): r |> print-num(n: r)

// Test 2: non-positive value -> should output 0
~categorize(value: 0): r |> print-num(n: r)