Error meant for humans
exception E of User_message.tUser errors are errors that users need to fix themselves in order to make progress. Since these errors are read by users, they should be simple to understand for people who are not familiar with the dune codebase.
val raise :
?loc:Stdune__.Loc0.t ->
?hints:User_message.Style.t Pp.t list ->
?annots:User_message.Annots.t ->
User_message.Style.t Pp.t list ->
_Raise a user error. The arguments are interpreted in the same way as User_message.make. The first paragraph is prefixed with "Error:".
val make :
?loc:Stdune__.Loc0.t ->
?hints:User_message.Style.t Pp.t list ->
?annots:User_message.Annots.t ->
User_message.Style.t Pp.t list ->
User_message.tCreate a user error.
val prefix : User_message.Style.t Pp.tThe "Error:" prefix
val ok_exn : ('a, User_message.t) result -> 'aHelper to raise a user error from a result type.
ok_exn (Ok x) is xok_exn (Error msg) is Stdlib.raise (E msg)