summaryrefslogtreecommitdiff
path: root/middle_end
diff options
context:
space:
mode:
authorFabian <copy@copy.sh>2022-04-07 18:18:05 +0200
committerGitHub <noreply@github.com>2022-04-07 18:18:05 +0200
commita43299f73c74a8305008f2642bb0a7fcb6847327 (patch)
tree3a342b5bce3ac05ee2b77e90cf020b51c8b659a3 /middle_end
parent58418c71f3eed2201229c91c63b0f5e6744ac648 (diff)
downloadocaml-a43299f73c74a8305008f2642bb0a7fcb6847327.tar.gz
Remove some trivial dead code in Closure_conversion_aux.Env (#11170)
Diffstat (limited to 'middle_end')
-rw-r--r--middle_end/flambda/closure_conversion_aux.ml6
-rw-r--r--middle_end/flambda/closure_conversion_aux.mli3
2 files changed, 0 insertions, 9 deletions
diff --git a/middle_end/flambda/closure_conversion_aux.ml b/middle_end/flambda/closure_conversion_aux.ml
index eb08176142..e920705071 100644
--- a/middle_end/flambda/closure_conversion_aux.ml
+++ b/middle_end/flambda/closure_conversion_aux.ml
@@ -23,7 +23,6 @@ module Env = struct
mutable_variables : Mutable_variable.t Ident.tbl;
static_exceptions : Static_exception.t Numbers.Int.Map.t;
globals : Symbol.t Numbers.Int.Map.t;
- at_toplevel : bool;
}
let empty = {
@@ -31,7 +30,6 @@ module Env = struct
mutable_variables = Ident.empty;
static_exceptions = Numbers.Int.Map.empty;
globals = Numbers.Int.Map.empty;
- at_toplevel = true;
}
let clear_local_bindings env =
@@ -75,10 +73,6 @@ module Env = struct
with Not_found ->
Misc.fatal_error ("Closure_conversion.Env.find_global: global "
^ Int.to_string pos)
-
- let at_toplevel t = t.at_toplevel
-
- let not_at_toplevel t = { t with at_toplevel = false; }
end
module Function_decls = struct
diff --git a/middle_end/flambda/closure_conversion_aux.mli b/middle_end/flambda/closure_conversion_aux.mli
index 6c436994db..a108caa78e 100644
--- a/middle_end/flambda/closure_conversion_aux.mli
+++ b/middle_end/flambda/closure_conversion_aux.mli
@@ -40,9 +40,6 @@ module Env : sig
val add_global : t -> int -> Symbol.t -> t
val find_global : t -> int -> Symbol.t
-
- val at_toplevel : t -> bool
- val not_at_toplevel : t -> t
end
(** Used to represent information about a set of function declarations