العرضar

metior

Translation status: العربية reader-locale proof. Code fences render through the ar pipeline; prose is canonical Latin.

Marks a test for metered or measured execution.

Syntax: metior

Category#

testing

Examples#

radix/corpus/lista/methodi-accessus.fab (canonical · existing-home)#

Marks a test for metered or measured execution.

# =============================================================================
# metior — Marks a test for metered or measured execution.
# =============================================================================
#
# What this teaches:
#   • lista access and query intrinsics — `primus()`, `ultimus()`, `accipe()`, `longitudo()`
#   • membership checks — `vacua()` and `continet()`
#
# Common mistakes:
#   • Calling primus() or ultimus() on an empty lista — these methods require at least one element.
#
# See also: temporis, prima, ultima
# =============================================================================

# lista<T> access and query intrinsics
#
# res.primus() | res.ultimus() | res.accipe(i) | res.longitudo()   -- query
# res.vacua() | res.continet(elem)                                 -- membership
#
# GRAMMAR:
#   listMethod :← expr '.' ('primus' | 'ultimus' | 'accipe' | 'longitudo'
#                         | 'vacua' | 'continet') '(' args? ')'
#
# EXPECTED OUTPUT:
#   No pinned stdout — smoke asserts exit 0 and typed lowering only.
#
# BACKEND: Go e2e whitelist — lista intrinsic methods not yet lowered for Go
# (whitelist: lista/methodi-accessus.fab).

main {
    const _ res ← [1, 2, 3, 4, 5] ∷ list<int>

    const _ primus ← res.primus()
    const _ ultimus ← res.ultimus()
    const _ tertius ← res.accipe(2)
    const _ longitudo ← res.longitudo()
    const _ vacuaest ← res.vacua()
    const _ habettres ← res.continet(3)

    print primus, ultimus, tertius
    print longitudo, vacuaest, habettres
}

Expected output:

1 5 3
5 falsum verum