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- The type of (it) contains a free type variable. Setting it to a unique
   monotype.
HOL_ERR (at ??.??: fail) raised

See also

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