diff options
| -rw-r--r-- | bytecomp/translcore.ml | 2 | ||||
| -rw-r--r-- | debugger/eval.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml index b7465bb7c..5f4cfa541 100644 --- a/bytecomp/translcore.ml +++ b/bytecomp/translcore.ml @@ -190,7 +190,7 @@ let rec array_element_kind env ty = | _ -> Paddrarray let array_kind arg = - let ty = Ctype.correct_levels arg.exp_env arg.exp_type in + let ty = Ctype.correct_levels arg.exp_type in let array_ty = Ctype.expand_head arg.exp_env ty in match (Ctype.repr array_ty).desc with Tconstr(p, [elt_ty], _) when Path.same p Predef.path_array -> diff --git a/debugger/eval.ml b/debugger/eval.ml index 521f120c2..4ea361984 100644 --- a/debugger/eval.ml +++ b/debugger/eval.ml @@ -62,7 +62,7 @@ let rec expression event env = function E_ident lid -> begin try let (p, valdesc) = Env.lookup_value lid env in - (path event p, Ctype.correct_levels env valdesc.val_type) + (path event p, Ctype.correct_levels valdesc.val_type) with Not_found -> raise(Error(Unbound_long_identifier lid)) end |