summaryrefslogtreecommitdiff
path: root/middle_end
diff options
context:
space:
mode:
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