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.
val adapt_filename : string -> string
In bytecode, the identity function. In native code, replace the last
extension with .cmxs
.
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.