改名

Braced canonical @ 改名 rename mapping.

Syntax: @ 改名 { target = rs, methodus = \"…\" }

Category#

codegen

Related#

• verte
• annotation-sugar

Examples#

radix/corpus/annotation-sugar/verte-braced.fab (canonical · annotation)#

Braced canonical @ 改名 rename mapping.

# =============================================================================
# 改名 — Braced canonical @ 改名 rename mapping.
# =============================================================================
#
# What this teaches:
#   • Backend rename mapping — `@ 改名 { target = rs, methodus = "push" }`
#     maps a Faber function to a differently-named backend method
#   • Braced annotation syntax — the target backend and methodus fields
#     configure code generation renaming
#
# Common mistakes:
#   • forgetting to specify the target backend in `@ 改名 { target = rs, methodus = "..." }`
#
# See also: 改名, annotation-sugar
# =============================================================================

@ rename { target = rs, methodus = "push" }
fn addeExemplar() → void {
    pass
}

main {
    print "verte-braced"
}

Expected output:

verte-braced