integratio

Minimal multi-feature happy path across functio, fixum, si, and nota.

Syntax: integratio — multi-feature happy path

Category

integration

Related

• functio
• fixum
• si
• nota

Examples

examples/corpus/integratio/minimum-smoke.fab (canonical · concept)

Minimal multi-feature happy path across functio, fixum, si, and nota.

# integratio — minimal multi-feature happy path
#
# functio name(params) → type { … }
# fixum _ n ← expr
# si <cond> { … }
# nota template with § interpolation
#
# GRAMMAR:
#   funcDecl   :← 'functio' ident '(' params ')' ('→' type)? block
#   condStmt   :← 'si' expr block
#   outputStmt :← 'nota' expr
#
# EXPECTED OUTPUT:
#   minimum-smoke.expected — par 42 when n is even.

functio par(numerus n) → bivalens {
    redde n % 2 ≡ 0
}

incipit {
    fixum _ n ← 42
    si par(n) {
        nota "par §"(n)
    }
}

Expected output:

par 42