Header menu logo fantomas

ReportedError Type

Thrown when immediate, local error recovery is not possible. This indicates we've reported an error but need to make a non-local transfer of control. Error recovery may catch this and continue (see 'errorRecovery') The exception that caused the report is carried as data because in some situations (LazyWithContext) we may need to re-report the original error when a lazy thunk is re-evaluated.

Record fields

Record Field Description

Data0

Full Usage: Data0

Field type: exn option
Field type: exn option

Type something to start searching.