ไม่เสถียร

Marks an interface method as planned but unavailable for a target.

Syntax: @ ไม่เสถียร [target] [reason]

Category#

availability

Related#

• nondum
• annotation-sugar

Examples#

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

Braced canonical @ ไม่เสถียร availability record.

# =============================================================================
# ไม่เสถียร — Braced canonical @ ไม่เสถียร availability record.
# =============================================================================
#
# What this teaches:
#   • Unimplemented marker — `@ ไม่เสถียร` annotates a declaration as not yet
#     implemented for a specific backend target
#   • Braced annotation syntax — `@ ไม่เสถียร { target = rs, ratio = "…" }`
#     provides the target backend and a rationale string
#
# Common mistakes:
#   • using `@ ไม่เสถียร` on declarations that are actually implemented for the current target (SEM017)
#
# See also: ไม่เสถียร, annotation-sugar
# =============================================================================

interface tempus {
    @ unstable { target = rs, ratio = "timer handles are not implemented" }
    fn siste(int handle) → void
}

main {
    print "nondum-braced"
}

Expected output:

nondum-braced

radix/corpus/meta/nondum.fab (canonical · annotation)#

Marks an interface method as planned but unavailable for a target.

# =============================================================================
# ไม่เสถียร — Marks an interface method as planned but unavailable for a target.
# =============================================================================
#
# What this teaches:
#   • the `@ไม่เสถียร` annotation — marks interface methods as planned but not yet implemented for a target backend
#   • target-specific availability annotations with optional reason strings
#
# Common mistakes:
#   • Calling a method marked @ ไม่เสถียร — the compiler rejects calls to ไม่เสถียร methods for the current target (SEM017).
#
# See also: สัญญา, @
# =============================================================================

# meta/nondum — planned-but-unavailable interface methods
#
# GRAMMAR:
#   interfaceMethod :← '@' 'ไม่เสถียร' target? stringLit
#
# EXPECTED OUTPUT:
#   ไม่เสถียร สัญญา declared
#
# BACKEND:
#   Calls to @ ไม่เสถียร methods fail semantic check (SEM017); do not invoke here.

interface tempus {
    @ unstable { target = rs, ratio = "timer handles are not implemented yet" }
    fn siste(int handle) → void
}

main {
    print "nondum implendum declared"
}

Expected output:

nondum implendum declared