Flashnux

GNU/Linux man pages

Livre :
Expressions régulières,
Syntaxe et mise en oeuvre :

ISBN : 978-2-7460-9712-4
EAN : 9782746097124
(Editions ENI)

GNU/Linux

Debian 7.3.0

(Wheezy)

Callback(3o)
Callback

Callback

NAME
Module
Documentation

NAME

Callback − Registering Caml values with the C runtime.

Module

Module Callback

Documentation

Module Callback
: sig end

Registering Caml values with the C runtime.

This module allows Caml values to be registered with the C runtime under a symbolic name, so that C code can later call back registered 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_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 .

Callback(3o)