errata

Marks a function parameter or binding as carrying an error value.

Syntax: functio <name>(...) errata <ident> → <type>

Category

function

Related

• ⇥
• cape
• iace

Examples

examples/corpus/errata/errata.fab (canonical · keyword)

Marks a function parameter or binding as carrying an error value.

# errata — typed error channel parameter
#
# GRAMMAR:
#   funcModifier :← 'errata' type
#
# EXPECTED OUTPUT:
#   No incipit — declaration or test-runner surface only.
#
# BACKEND:
#   declaration-only error channel (whitelist: errata/errata.fab).
#

functio parse(textus raw) errata textus → numerus {
    redde 0
}

Expected output: