Module Alt_ergo_common.MyDynlink

Dynlink wrapper

A wrapper of the Dynlink module: we use Dynlink except when we want to generate a static (native) binary *

type error

Type error, as in Dynlink.error

exception Error of error

Error exception, as in Dynlink.Error

val error_message : error -> string

Error messages as strings, as in Dynlink.error_message

val loadfile : string -> unit

Load a compiled file, as in Dynlink.loadfile.

val load : bool -> string -> string -> unit

Same as loadfile but try to load plugins dir if loadfile raise an Error

  • raises Errors.Error

    if the plugin failed to be loaded