diff options
Diffstat (limited to 'lib/exninfo.mli')
| -rw-r--r-- | lib/exninfo.mli | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/lib/exninfo.mli b/lib/exninfo.mli deleted file mode 100644 index c960ac7c..00000000 --- a/lib/exninfo.mli +++ /dev/null @@ -1,39 +0,0 @@ -(***********************************************************************) -(* v * The Coq Proof Assistant / The Coq Development Team *) -(* <O___,, * INRIA-Rocquencourt & LRI-CNRS-Orsay *) -(* \VV/ *************************************************************) -(* // * This file is distributed under the terms of the *) -(* * GNU Lesser General Public License Version 2.1 *) -(***********************************************************************) - -(** Additional information worn by exceptions. *) - -type 'a t -(** Information containing a given type. *) - -type info -(** All information *) - -type iexn = exn * info -(** Information-wearing exceptions *) - -val make : unit -> 'a t -(** Create a new piece of information. *) - -val null : info -(** No information *) - -val add : info -> 'a t -> 'a -> info -(** Add information to an exception. *) - -val get : info -> 'a t -> 'a option -(** Get information worn by an exception. Returns [None] if undefined. *) - -val info : exn -> info -(** Retrieve the information of the last exception raised. *) - -val iraise : iexn -> 'a -(** Raise the given enriched exception. *) - -val raise : ?info:info -> exn -> 'a -(** Raise the given exception with additional information. *) |