set_message
set_message : string -> hol_error -> hol_error
Overwrite message component of a hol_error value.
Example
> set_message "BIG problem!"
(mk_hol_error "Foo" "bar" locn.Loc_Unknown "bad input");
val it = at Foo.bar: BIG problem!: hol_error
Failure
Never fails.
See also
Feedback,
Feedback.mk_hol_error,
Feedback.message_of,
Feedback.set_top_function