numquam
Translation status: Tiếng Việt reader-locale proof. Code fences render through the vi pipeline; prose is canonical Latin.
Primitive never type for code paths that do not return normally.
Aliases: never
Syntax: numquam
Category#
type
Related#
Examples#
radix/corpus/numquam/numquam.fab (canonical · keyword)#
Primitive never type for code paths that do not return normally.
# =============================================================================
# numquam — Primitive never type for code paths that do not return normally.
# =============================================================================
#
# What this teaches:
# • Diverging functions — `numquam` marks functions like `mori` that never return to the caller.
# • Type-system bottom — `numquam` is the bottom type, compatible with any return position.
#
# Common mistakes:
# • Using numquam for functions that might sometimes return normally — numquam is only for code paths that never return.
#
# See also: mori, exitus
# =============================================================================
# numquam — diverging return type
#
# GRAMMAR:
# returnType :← 'numquam'
#
# EXPECTED OUTPUT:
# Scalar stdout smoke (see body).
#
# BACKEND:
# Cross-ref: mori/mori.fab.
#
fn fail(string message) → never {
panic message
}