कभीनहीं

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

Aliases: never

Syntax: कभीनहीं

Category#

type

Related#

• मरोजाओ
• निर्गम

Examples#

radix/corpus/numquam/numquam.fab (canonical · keyword)#

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

# =============================================================================
# कभीनहीं — Primitive never type for code paths that do not return normally.
# =============================================================================
#
# What this teaches:
#   • Diverging functions — `कभीनहीं` marks functions like `मरोजाओ` that never return to the caller.
#   • Type-system bottom — `कभीनहीं` is the bottom type, compatible with any return position.
#
# Common mistakes:
#   • Using कभीनहीं for functions that might sometimes return normally — कभीनहीं is only for code paths that never return.
#
# See also: मरोजाओ, निर्गम
# =============================================================================

# कभीनहीं — diverging return type
#
# GRAMMAR:
#   returnType :← 'कभीनहीं'
#
# EXPECTED OUTPUT:
#   Scalar stdout smoke (see body).
#
# BACKEND:
#   Cross-ref: मरोजाओ/mori.fab.
#

fn fail(string message) → never {
    panic message
}