errata
Translation status: Tiếng Việt reader-locale proof. Code fences render through the vi pipeline; prose is canonical Latin.
Marks a function parameter or binding as carrying an error value.
Syntax: functio <name>(...) errata <ident> → <type>
Category#
function
Related#
Examples#
radix/corpus/errata/errata.fab (canonical · keyword)#
Marks a function parameter or binding as carrying an error value.
# =============================================================================
# errata — Marks a function parameter or binding as carrying an error value.
# =============================================================================
#
# What this teaches:
# • Error channel parameter — `errata <type>` marks a function as having a typed error channel, enabling structured error handling.
# • Declaration-only — currently a declaration-only modifier; the error channel is whitelisted for syntax validation and future codegen.
#
# Common mistakes:
# • Confusing errata with ⇥ recovery — `errata` declares a typed error parameter on a function; `⇥` provides inline fallback recovery on conversion.
#
# See also: ⇥, cape, iace
# =============================================================================
# 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).
#
fn parse(string raw) errors string → int {
return 0
}