summaryrefslogtreecommitdiff
path: root/stdlib/callback.mli
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2001-12-03 22:01:28 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2001-12-03 22:01:28 +0000
commit966c128bc96118fb12c753c01bf5f134c888e61a (patch)
tree85e2ba4b560c8c8e5f320b591f9bf9681b8c3676 /stdlib/callback.mli
parent8cd61ac05567f1a42cf13b18c77a0b8135bb8ae1 (diff)
downloadocaml-966c128bc96118fb12c753c01bf5f134c888e61a.tar.gz
commentaires après
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4082 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/callback.mli')
-rw-r--r--stdlib/callback.mli4
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/callback.mli b/stdlib/callback.mli
index ae540dfbda..be2e6a0882 100644
--- a/stdlib/callback.mli
+++ b/stdlib/callback.mli
@@ -19,15 +19,15 @@
Caml functions, or raise registered Caml exceptions.
*)
+val register : string -> 'a -> unit
(** [Callback.register n v] registers the value [v] under
the name [n]. C code can later retrieve a handle to [v]
by calling [caml_named_value(n)]. *)
-val register: string -> 'a -> unit
+val register_exception : string -> exn -> unit
(** [Callback.register_exception n exn] registers the
exception contained in the exception value [exn]
under the name [n]. C code can later retrieve a handle to
the exception by calling [caml_named_value(n)]. The exception
value thus obtained is suitable for passign as first argument
to [raise_constant] or [raise_with_arg]. *)
-val register_exception: string -> exn -> unit