else

Runs the fallback branch when preceding conditional branches do not match.

Aliases: else, otherwise

Syntax: else <block>

Category#

control-flow

Related#

• if
• elif

Examples#

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

Runs the fallback branch when preceding conditional branches do not match.

# =============================================================================
# else — Runs the fallback branch when preceding conditional branches do not
# match.
# =============================================================================
#
# What this teaches:
#   • Conditional fallback — `else` provides the else/otherwise branch that
#     runs when no preceding `if` or `elif` condition matched
#   • Always comes last in an if-else chain; takes a block body
#
# Common mistakes:
#   • Writing `else if` instead of the canonical `elif` for else-if branches — `else` must always be final.
#
# See also: if, elif
# =============================================================================

# else — final else branch
#
# GRAMMAR:
#   elseClause :← 'else' block
#
# EXPECTED OUTPUT:
#   Scalar stdout smoke (see body).
#
# BACKEND:
#   Cross-ref: if/secus.fab.
#

main {
    const int hour ← 23
    if hour ≺ 12 {
        print "morning"
    }
    else {
        print "afternoon-or-later"
    }
}

Expected output:

afternoon-or-later

radix/corpus/si/secus.fab (canonical · keyword)#

Runs the fallback branch when preceding conditional branches do not match.

# =============================================================================
# else — Runs the fallback branch when preceding conditional branches do not
# match.
# =============================================================================
#
# What this teaches:
#   • If-else branches — `if { } else { }` provides two-way branching; exactly
#     one arm executes
#   • `elif` chains additional conditions before the final `else` fallback;
#     first match wins
#
# Common mistakes:
#   • TODO: placing `else` before a `elif` branch — `else` must always be the
#     final clause
#
# See also: if, elif
# =============================================================================

# si-secus (if-else) conditionals
#
# if <condition> { <body> }                                   -- two-way branch
# else { <body> }
# if <cond1> { }                                              -- else-if chain
# elif <cond2> { }
# else { }
#
# GRAMMAR:
#   ifStmt :← 'if' expr block ('elif' expr block)* ('else' block)?
#
# EXPECTED OUTPUT:
#   Grade and weather messages for sample scores and temperatures.

main {
    # Two-way branch: exactly one arm runs
    const int puncta ← 85
    if puncta ≥ 90 {
        print "gradus: A"
    }
    else {
        # 85 < 90 → this arm
        print "gradus: B aut minor"
    }

    # Each branch may contain several statements
    const int calor ← 22
    if calor ≻ 30 {
        print "calidum"
        print "aquam bibe"
    }
    else {
        # 22 ≤ 30
        print "commodum"
        print "caelum mite"
    }

    # elif chains additional tests; first match wins (75 → C)
    const int gradus ← 75
    if gradus ≥ 90 {
        print "A - optimum"
    }
    elif gradus ≥ 80 {
        print "B - bonum"
    }
    elif gradus ≥ 70 {
        print "C - satis"
    }
    elif gradus ≥ 60 {
        print "D - transit"
    }
    else {
        print "F - deficit"
    }
}

Expected output:

gradus: B aut minor
commodum
caelum mite
C - satis