diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2014-04-05 19:51:04 -0400 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2014-04-09 01:05:48 -0400 |
| commit | de61c7d77e49286622c4aebd56f2e87b0df93903 (patch) | |
| tree | d7038f72ed54e3cdebae620c458e3ca93294f49f /kernel/retroknowledge.mli | |
| parent | 5bcfa8cab56798f2b575b839fd92b0f743c3d453 (diff) | |
Had to split Nativelambda in two files because of Retroknowledge
dependencies.
Diffstat (limited to 'kernel/retroknowledge.mli')
| -rw-r--r-- | kernel/retroknowledge.mli | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/kernel/retroknowledge.mli b/kernel/retroknowledge.mli index 528f6ad16..097d207e4 100644 --- a/kernel/retroknowledge.mli +++ b/kernel/retroknowledge.mli @@ -117,6 +117,23 @@ val get_vm_before_match_info : retroknowledge -> entry -> Cbytecodes.bytecodes val get_vm_decompile_constant_info : retroknowledge -> entry -> int -> Term.constr +val get_native_compiling_info : retroknowledge -> entry -> Cbytecodes.comp_env -> + constr array -> + int -> Cbytecodes.bytecodes-> Cbytecodes.bytecodes + +val get_native_constant_static_info : retroknowledge -> entry -> + constr array -> Nativeinstr.lambda + +val get_native_constant_dynamic_info : retroknowledge -> entry -> + Cbytecodes.comp_env -> + Cbytecodes.block array -> + int -> Cbytecodes.bytecodes -> Cbytecodes.bytecodes + +val get_native_before_match_info : retroknowledge -> entry -> Cbytecodes.bytecodes + -> Cbytecodes.bytecodes + +val get_native_decompile_constant_info : retroknowledge -> entry -> int -> Term.constr + (** the following functions are solely used in Pre_env and Environ to implement the functions register and unregister (and mem) of Environ *) val add_field : retroknowledge -> field -> entry -> retroknowledge @@ -147,6 +164,25 @@ val add_vm_before_match_info : retroknowledge -> entry -> val add_vm_decompile_constant_info : retroknowledge -> entry -> (int -> constr) -> retroknowledge +val add_native_compiling_info : retroknowledge-> entry -> + (bool -> Cbytecodes.comp_env -> constr array -> int -> + Cbytecodes.bytecodes -> Cbytecodes.bytecodes) -> + retroknowledge +val add_native_constant_static_info : retroknowledge -> entry -> + (bool -> constr array -> + Nativeinstr.lambda) -> + retroknowledge +val add_native_constant_dynamic_info : retroknowledge-> entry -> + (bool -> Cbytecodes.comp_env -> + Cbytecodes.block array -> int -> + Cbytecodes.bytecodes -> Cbytecodes.bytecodes) -> + retroknowledge +val add_native_before_match_info : retroknowledge -> entry -> + (bool->Cbytecodes.bytecodes->Cbytecodes.bytecodes) -> + retroknowledge + +val add_native_decompile_constant_info : retroknowledge -> entry -> + (int -> constr) -> retroknowledge val clear_info : retroknowledge-> entry -> retroknowledge |