curata

Marks a function as requiring an allocator binding.

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

Category#

function

Related#

• cura
• arena

Examples#

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

Marks a function as requiring an allocator binding.

# =============================================================================
# curata — Marks a function as requiring an allocator binding.
# =============================================================================
#
# What this teaches:
#   • Allocator-required functions — `curata <required> [ut <local>]` marks a function as needing an allocator binding.
#   • Declaration-only modifier — currently a declaration-only allocator modifier; the binding is whitelisted for syntax validation.
#
# Common mistakes:
#   • Calling a curata-annotated function without providing an allocator binding.
#
# See also: cura, arena
# =============================================================================

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

fn greet(string name) allocator alloc as a → string {
    return name
}