diff options
| author | Thomas Refis <thomas.refis@gmail.com> | 2019-08-21 12:52:24 +0100 |
|---|---|---|
| committer | Thomas Refis <thomas.refis@gmail.com> | 2019-08-28 13:24:10 +0100 |
| commit | 4a22aeccb55b030cd42d06cbaaeae456350653db (patch) | |
| tree | ea559f1c670ebdd027b1bf89296faf7e0942d30f /middle_end | |
| parent | 46f180138fce8099e2bb08fffdfbea9262d36689 (diff) | |
| download | ocaml-4a22aeccb55b030cd42d06cbaaeae456350653db.tar.gz | |
warning 60: enable on local modules
Diffstat (limited to 'middle_end')
| -rw-r--r-- | middle_end/flambda/inline_and_simplify.ml | 1 | ||||
| -rw-r--r-- | middle_end/flambda/lift_code.ml | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/middle_end/flambda/inline_and_simplify.ml b/middle_end/flambda/inline_and_simplify.ml index 7d304cd88f..b720ae4af7 100644 --- a/middle_end/flambda/inline_and_simplify.ml +++ b/middle_end/flambda/inline_and_simplify.ml @@ -1630,7 +1630,6 @@ let rec simplify_program_body env r (program : Flambda.program_body) let approx = A.augment_with_symbol (A.value_block tag (Array.of_list approxs)) symbol in - let module Backend = (val (E.backend env) : Backend_intf.S) in let env = E.add_symbol env symbol approx in let program, r = simplify_program_body env r program in Initialize_symbol (symbol, tag, fields, program), r diff --git a/middle_end/flambda/lift_code.ml b/middle_end/flambda/lift_code.ml index 02292c46e1..753613978b 100644 --- a/middle_end/flambda/lift_code.ml +++ b/middle_end/flambda/lift_code.ml @@ -87,7 +87,6 @@ and lift_lets_named_with_free_variables var, named and lift_lets_named _var (named:Flambda.named) ~toplevel : Flambda.named = - let module W = Flambda.With_free_variables in match named with | Expr e -> Expr (lift_lets_expr e ~toplevel) |