diff options
Diffstat (limited to 'lib/errors.mli')
| -rw-r--r-- | lib/errors.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/errors.mli b/lib/errors.mli index 0b2defa1a..00c39c2b3 100644 --- a/lib/errors.mli +++ b/lib/errors.mli @@ -19,9 +19,9 @@ open Pp val make_anomaly : ?label:string -> std_ppcmds -> exn (** Create an anomaly. *) -val anomaly : string -> 'a -val anomalylabstrm : string -> std_ppcmds -> 'a -val anomaly_loc : Loc.t * string * std_ppcmds -> 'a +val anomaly : ?loc:Loc.t -> ?label:string -> std_ppcmds -> 'a +(** Raise an anomaly, with an optional location and an optional + label identifying the anomaly. *) val is_anomaly : exn -> bool (** Check whether a given exception is an anomaly. *) |