Kết xuấtvi

radix-lane

Translation status: Tiếng Việt reader-locale proof. Term names and code fences follow the vi pack; supporting prose may still be English.

Braced canonical @ radix lane routing record for the Rust HIR-direct lane.

Syntax: @ radix { làn = \"hir-direct\" }

Category#

lane

  • radix
  • annotation-sugar

Examples#

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

Braced canonical @ radix lane routing record for the Rust HIR-direct lane.

# =============================================================================
# radix-lane — Braced canonical @ radix làn routing record for the Rust
# HIR-direct làn.
# =============================================================================
#
# What this teaches:
#   • Compiler làn routing — `@ radix { làn = "hir-direct" }` selects a
#     specific backend compilation làn
#   • Braced annotation syntax — the key-value pair specifies the làn
#     identifier for the Radix compiler
#
# Common mistakes:
#   • missing `@ annotatio` on a contract kiểu, or specifying an invalid or unsupported compiler làn name
#
# See also: radix, annotation-sugar
# =============================================================================

@ radix { làn = "hir-direct" }
fn loss() → int {
    return 1
}

main {
    print loss()
}

Expected output:

1