language · keyword ·

yield

Produce a value in the oracle-only callable surface

boundarieskeywordlanguageyeho

Return a concrete list in Kyber-ready code. Use yield only in the explicit comparison lane while studying the future generator contract.

yield

Status: generated-cpp-only

Oracle route

Return a concrete list in Kyber-ready code. Use yield only in the explicit comparison lane while studying the future generator contract.

language · type checked

Collect() -> list of int
{
    yield 4
    yield 7
}

list of int values = Collect()
project.mech
manifestVersion = "2"
package = "api.example.word_yield"
version = "0.1.0"
languageEdition = "yeho-core-2026.1"

[app]
kind = "headless"
Notes and source

Forge records yield as a distinct semantic operation.

The generated C++ comparison fixture executes it; Kyber rejects the final-deferred operation explicitly.

yeho/tests/compiler/forge-contract/yield/start.yh; docs/tooling/forge-v2-contract.md