iacit

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

Syntax: functio <name>(...) iacit → <type> [⇥ <error-type>]

Category

function

Related

• iace
• cape
• ⇥
• errata
• immutata

Examples

examples/corpus/meta/iacit.fab (canonical · modifier)

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

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

implendum Canens {
    functio canta(textus vox) iacit → vacuum
}

incipit {
    nota "iacit modifier declared"
}

Expected output:

iacit modifier declared