fail

Feedback.fail : unit -> 'a

Raise a HOL_ERR.

The function fail raises a HOL_ERR with default values. This is useful when detailed error tracking is not necessary.

Failure

Always fails.

Example

- fail() handle e => Raise e;

Exception raised at ??.??:
fail
! Uncaught exception:
! HOL_ERR

See also

Feedback, Feedback.failwith, Feedback.Raise, Feedback.HOL_ERR