ceterum
Translation status: ภาษาไทย reader-locale proof. Code fences render through the th-TH pipeline; prose is canonical Latin.
Starts the default branch of an elige or discerne statement.
Aliases: default
Syntax: ceterum <block>
Category#
control-flow
Related#
Examples#
radix/corpus/ceterum/ceterum.fab (canonical · keyword)#
Starts the default branch of an elige or discerne statement.
# =============================================================================
# ceterum — Starts the default branch of an elige or discerne statement.
# =============================================================================
#
# What this teaches:
# • Default arm — `ceterum <block>` is the catch-all branch in an `elige`
# or `discerne` match expression
# • Fallback handling — when no `casu` pattern matches, execution falls
# through to the `ceterum` block
#
# Common mistakes:
# • using `ceterum` with `discerne omnia` — `omnia` forbids catchall arms and requires listing every variant explicitly (SEM044)
#
# See also: elige, discerne
# =============================================================================
# ceterum — default elige arm
#
# GRAMMAR:
# defaultClause :← 'ceterum' block
#
# EXPECTED OUTPUT:
# Scalar stdout smoke (see body).
#
# BACKEND:
# Cross-ref: elige/ceterum.fab.
#
main {
const _ tag ← "z"
switch tag {
case "a" { print "a" }
default { print "default" }
}
}Expected output:
default