โยนผล

Marks a function as able to throw along a recoverable channel.

Syntax: ฟังก์ชัน <name>(...) โยนผล → <type> [⇥ <error-type>]

Category#

function

Related#

• โยน
• จับ
• ⇥
• ข้อผิดพลาด
• ไม่เปลี่ยนแปลง

Examples#

radix/corpus/meta/iacit.fab (canonical · modifier)#

Marks a function as able to throw along a recoverable channel.

# =============================================================================
# โยนผล — Marks a function as able to throw along a recoverable channel.
# =============================================================================
#
# What this teaches:
#   • the `โยนผล` modifier on function declarations — marks a function as throwable
#   • the `⇥` error type annotation for specifying the error type contract
#
# Common mistakes:
#   • Forgetting to declare the ⇥ error type — โยนผล requires an explicit ⇥ error type in the function signature.
#
# See also: โยน, จับ, ⇥, ข้อผิดพลาด, ไม่เปลี่ยนแปลง
# =============================================================================

# meta/iacit — throwable function modifier
#
# GRAMMAR:
#   funcModifier :← 'โยนผล'
#
# EXPECTED OUTPUT:
#   โยนผล surface declared
#
# BACKEND:
#   Prefer explicit ⇥ error types for callable contracts; see โยน/functio-fallibilis.fab.

interface Canens {
    fn canta(string vox) throws → void
}

main {
    print "iacit modifier declared"
}

Expected output:

iacit modifier declared