tacet

Marks an explicit no-op statement.

Aliases: silent noop

Syntax: tacet

Category

transfer

Related

• ergo
• redde

Examples

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

Marks an explicit no-op statement.

# tacet — explicit no-op (musical rest)
#
# tacet                                    -- deliberate empty statement
# si <cond> ergo tacet                     -- guarded no-op
#
# GRAMMAR:
#   noopStmt :← 'tacet'
#
# EXPECTED OUTPUT:
#   cond verum, finis (tacet.expected).

functio maybeNota(bivalens cond) → vacuum {
    si cond {
        nota "cond verum"
    }
    secus {
        # deliberate no-op in else branch
        tacet
    }
}

incipit {
    # prints
    maybeNota(verum)
    # tacet — no output
    maybeNota(falsum)

    # condition false, so tacet never runs
    si falsum ergo tacet

    nota "finis"
}

Expected output:

cond verum
finis