diff options
Diffstat (limited to 'middle_end')
-rw-r--r-- | middle_end/flambda/closure_conversion_aux.ml | 6 | ||||
-rw-r--r-- | middle_end/flambda/closure_conversion_aux.mli | 3 |
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 |