metior

Marks a test for metered or measured execution.

Syntax: metior

Category

testing

Related

• temporis
• prima
• ultima

Examples

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

Marks a test for metered or measured execution.

# 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).

incipit {
    fixum _ res ← [1, 2, 3, 4, 5] ∷ lista<numerus>

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

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

Expected output:

1 5 3
5 falsum verum