curata

Marks a function as requiring an allocator binding.

Syntax: functio <name>(...) curata <required> [ut <local>] → <type>

Category

function

Related

• cura
• arena

Examples

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

Marks a function as requiring an allocator binding.

# curata — allocator scope on functio
#
# GRAMMAR:
#   funcModifier :← 'curata' ident 'ut' ident
#
# EXPECTED OUTPUT:
#   No incipit — declaration or test-runner surface only.
#
# BACKEND:
#   declaration-only allocator modifier (whitelist: curata/curata.fab).
#

functio greet(textus name) curata alloc ut a → textus {
    redde name
}

Expected output: