008 vendor binding agrees with path

✓ Passing This code compiles and runs correctly.

Code

// Pins the other half of 130_007: koru.json and a `bindings` block naming the
// SAME tree is agreement, not conflict, and compiles.
//
// The two write the path in different anchors — koru.json's is relative to the
// project root, a binding's to the file declaring it — so the check that refuses
// a disagreement has to compare directories on disk. Comparing the text would
// read these two identical intentions as a contradiction.

import std/io
import std/vendor

std/vendor:bindings {
    koru/vaxis: ./vendored/vaxis
}

import koru/vaxis

koru/vaxis:greet(): v |> std/io:print.ln("{{ v:s }}")

input.k

Actual

VENDORED vaxis

Expected output

VENDORED vaxis

Flows

flow ~bindings click a branch to expand · @labels scroll to their anchor

bindings (source: koru/vaxis: ./vendored/vaxis)

flow ~greet click a branch to expand · @labels scroll to their anchor

greet

Imported Files

// The vendored copy. Reachable only because the `bindings` block said where it
// lives — this directory is named in exactly one place.

~pub tor greet {} -> string

~proc greet|zig {
    return "VENDORED vaxis";
}

vendored/vaxis/index.kz

Test Configuration

MUST_RUN

← 007 vendor binding conflicts with path 009 vendor lock v1 still pins →