Starts an allocator scope.
Syntax: cura \"<allocator-kind>\" fixum _ <alloc> <block>
Category
resource
Related
Examples
examples/corpus/cura/cura.fab (canonical · keyword)
Starts an allocator scope.
# cura "arena" — allocator-scoped binding
#
# cura "arena" introduces an arena allocator scope for a binding.
#
# GRAMMAR:
# cura "arena" fixum _ <name> { <body> }
#
# Rust lowers to a no-op with a warning; Faber/TS preserve arena syntax for future
# real allocators. Body runs normally.
#
# EXPECTED OUTPUT:
# "in arena".
incipit {
cura "arena" fixum _ alloc {
nota "in arena"
}
}Expected output:
in arena