diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2014-04-05 18:17:28 -0400 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2014-04-09 01:05:48 -0400 |
| commit | 5bcfa8cab56798f2b575b839fd92b0f743c3d453 (patch) | |
| tree | 507e5ec763df57accd11fea0d35f09e2d5a9e13f /kernel/retroknowledge.ml | |
| parent | a231329d7eb0163b97732d4361c25a346f5c09b4 (diff) | |
Int31 literals in native compiler.
Diffstat (limited to 'kernel/retroknowledge.ml')
| -rw-r--r-- | kernel/retroknowledge.ml | 24 |
1 files changed, 22 insertions, 2 deletions
diff --git a/kernel/retroknowledge.ml b/kernel/retroknowledge.ml index 632889080..b7fb6956f 100644 --- a/kernel/retroknowledge.ml +++ b/kernel/retroknowledge.ml @@ -126,7 +126,21 @@ type reactive_end = {(*information required by the compiler of the VM *) (* fastcomputation flag -> cont -> result *) vm_before_match : (bool -> Cbytecodes.bytecodes -> Cbytecodes.bytecodes) option; (* tag (= compiled int for instance) -> result *) - vm_decompile_const : (int -> Term.constr) option} + vm_decompile_const : (int -> Term.constr) option; + native_compiling : + (bool->Cbytecodes.comp_env->constr array -> + int->Cbytecodes.bytecodes->Cbytecodes.bytecodes) + option; + native_constant_static : + (bool->constr array->Cbytecodes.structured_constant) + option; + native_constant_dynamic : + (bool->Cbytecodes.comp_env->Cbytecodes.block array->int-> + Cbytecodes.bytecodes->Cbytecodes.bytecodes) + option; + native_before_match : (bool -> Cbytecodes.bytecodes -> Cbytecodes.bytecodes) option; + native_decompile_const : (int -> Term.constr) option +} @@ -162,7 +176,13 @@ let empty_reactive_end = vm_constant_static = None; vm_constant_dynamic = None; vm_before_match = None; - vm_decompile_const = None } + vm_decompile_const = None; + native_compiling = None; + native_constant_static = None; + native_constant_dynamic = None; + native_before_match = None; + native_decompile_const = None + } |