Error channel

The error channel: throwing, guarded throws, and the local catch handler that recovers an error into a value.

Terms#

These are the words you write in this part of the language. Each links to its page. The second column names the grammar rule the word belongs to.

Term	Grammar rule
`throw`, `panic`	`iace_expr`
`throw`, `panic`, `if`	`iace_guarded_expr`
`catch`	`cape_clause`

Formal grammar#

The rules for this part of the language are the parser's own definition of it. They are written for models and tools, so this page does not repeat them; the full list is at every production.