diff options
| author | Maxime Dénès | 2018-03-01 14:43:07 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-09-17 09:33:27 +0200 |
| commit | f02e6260f1cf1f49121860cfd95b6adb97db48ee (patch) | |
| tree | 68e18977a37c01f4353f51cb2f4986c3d5ceeed5 /kernel/clambda.ml | |
| parent | d1da0509fe8c26a7e5c41b610866a7d00e635e77 (diff) | |
[VM] Move structured_constant to Vmvalues
Diffstat (limited to 'kernel/clambda.ml')
| -rw-r--r-- | kernel/clambda.ml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/kernel/clambda.ml b/kernel/clambda.ml index 961036d3c5..eace0ea13d 100644 --- a/kernel/clambda.ml +++ b/kernel/clambda.ml @@ -4,6 +4,7 @@ open Esubst open Term open Constr open Declarations +open Vmvalues open Cbytecodes open Cinstr open Environ @@ -444,7 +445,7 @@ let get_value lc = | Lval v -> v | _ -> raise Not_found -let mkConst_b0 n = Lval (Cbytecodes.Const_b0 n) +let mkConst_b0 n = Lval (Const_b0 n) let make_args start _end = Array.init (start - _end + 1) (fun i -> Lrel (Anonymous, start - i)) @@ -467,11 +468,11 @@ let makeblock tag nparams arity args = else if Array.for_all is_value args then if tag < last_variant_tag then - Lval(Cbytecodes.Const_bn(tag, Array.map get_value args)) + Lval(Const_bn(tag, Array.map get_value args)) else let args = Array.map get_value args in - let args = Array.append [|Cbytecodes.Const_b0 (tag - last_variant_tag) |] args in - Lval(Cbytecodes.Const_bn(last_variant_tag, args)) + let args = Array.append [|Const_b0 (tag - last_variant_tag) |] args in + Lval(Const_bn(last_variant_tag, args)) else Lmakeblock(tag, args) |