im_lặng

Marks an explicit no-op statement.

Aliases: silent noop

Syntax: im_lặng

Category#

transfer

Related#

• do_đó
• trả

Examples#

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

Marks an explicit no-op statement.

# =============================================================================
# im_lặng — Marks an explicit no-op statement.
# =============================================================================
#
# What this teaches:
#   • Explicit no-op — `im_lặng` as a deliberate empty statement, especially in control flow
#   • Musical rest metaphor — `im_lặng` signals intentional absence of action
#
# Common mistakes:
#   • using im_lặng where logic is expected, which hides missing code; im_lặng is also outside the v1 AIR pure subset
#
# See also: do_đó, trả
# =============================================================================


# im_lặng — explicit no-op (musical rest)
#
# im_lặng                                    -- deliberate empty statement
# nếu <cond> do_đó im_lặng                     -- guarded no-op
#
# GRAMMAR:
#   noopStmt :← 'im_lặng'
#
# EXPECTED OUTPUT:
#   cond đúng, finis (tacet.expected).

fn maybeNota(bool cond) → void {
    if cond {
        print "cond verum"
    }
    else {
        # deliberate no-op in else branch
        pass
    }
}

main {
    # prints
    maybeNota(true)
    # im_lặng — no output
    maybeNota(false)

    # condition false, so im_lặng never runs
    if false then pass

    print "finis"
}

Expected output:

cond verum
finis