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
|
Full Usage:
Data0
Field type: exn option
|
|