026 pun survives without expr param

✓ Passing This code compiles and runs correctly.

Code

// A callee that declares NO `expr: Expression` must have its bare arguments
// left as puns. `take-word(word)` puns onto the `word` parameter and stays
// that way — the implicit expression slot exists only where a parameter of
// type Expression is declared.
//
// This is the guard on the other side of 110_023: a slot rule that remaps bare
// arguments without first checking the callee declares the slot would rewrite
// this pun and destroy the binding.
import app/lib

app/lib:go(word: "hi")

input.k

Actual

hi

Expected output

hi

Flows

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

go (word: "hi")

Imported Files

const std = @import("std");

~import std/io

~pub tor take-word { word: string }
~take-word = std/io:print.ln("{{ word:s }}")

lib2.kz

Test Configuration

MUST_RUN

← 025 implicit expr slot declared second 027 paths declared in source →