Module Dynlink_common_interface


module Dynlink_common_interface: sig .. end
Wrapper for Dynlink compatible with all ocaml versions.

module type OldDynlink = sig .. end
include Dynlink_common_interface.OldDynlink
exception Unsupported_Feature of string

Dynamic loading of object files.
val is_native : bool
true if the program is native, false if the program is bytecode.

Error reporting


type linking_error =
| Undefined_global of string
| Unavailable_primitive of string
| Uninitialized_global of string

type error =
| Not_a_bytecode_file of string
| Inconsistent_import of string
| Unavailable_unit of string
| Unsafe_file
| Linking_error of string * linking_error
| Corrupted_interface of string
| File_not_found of string
| Cannot_open_dll of string
| Inconsistent_implementation of string
exception Error of error
Errors in dynamic linking are reported by raising the Error exception with a description of the error.
val error_message : error -> string
Convert an error description to a printable message.