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