العرضar

radix-lane

Translation status: العربية reader-locale proof. Code fences render through the ar pipeline; prose is canonical Latin.

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

Syntax: @ radix { lane = \"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 lane routing record for the Rust
# HIR-direct lane.
# =============================================================================
#
# What this teaches:
#   • Compiler lane routing — `@ radix { lane = "hir-direct" }` selects a
#     specific backend compilation lane
#   • Braced annotation syntax — the key-value pair specifies the lane
#     identifier for the Radix compiler
#
# Common mistakes:
#   • missing `@ annotatio` on a contract genus, or specifying an invalid or unsupported compiler lane name
#
# See also: radix, annotation-sugar
# =============================================================================

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

main {
    print loss()
}

Expected output:

1