numquam

Primitive never type for code paths that do not return normally.

Aliases: never

Syntax: numquam

Category

type

Related

• mori
• exitus

Examples

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

Primitive never type for code paths that do not return normally.

# numquam — diverging return type
#
# GRAMMAR:
#   returnType :← 'numquam'
#
# EXPECTED OUTPUT:
#   Scalar stdout smoke (see body).
#
# BACKEND:
#   Cross-ref: mori/mori.fab.
#

functio fail(textus message) → numquam {
    mori message
}

Expected output: