X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_env.ml;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_env.ml;h=9f6417f2b5efe17ef389d0dce8986fceee3bc8b6;hp=504e9bde71f5d3c9bb5f76b0a1fc20f20d1a64b8;hb=cc540a7e2dfcee4411953075210a64de874b91e5;hpb=21d0f0503ea169988685a4f39d0e32b2b097dae6

diff --git a/compiler/src/lib/tiger/tiger_env.ml b/compiler/src/lib/tiger/tiger_env.ml
index 504e9bd..9f6417f 100644
--- a/compiler/src/lib/tiger/tiger_env.ml
+++ b/compiler/src/lib/tiger/tiger_env.ml
@@ -1,5 +1,6 @@
 module Map   = Tiger_map
 module Sym   = Tiger_symbol
+module Translate = Tiger_translate
 module Type  = Tiger_env_type
 module Value = Tiger_env_value
 
@@ -7,12 +8,14 @@ type t =
   { typs : Type.env
   ; vals : Value.env
   ; loop : Sym.t option
+  ; level : Translate.Level.t
   }
 
 let base =
   { typs = Type.built_in
   ; vals = Value.built_in
   ; loop = None
+  ; level = Translate.Level.init
   }
 
 let get_typ {typs; _} k =
@@ -43,3 +46,9 @@ let loop_end t given =
 
 let loop_current {loop; _} =
   loop
+
+let level_set t level =
+  {t with level}
+
+let level_get {level; _} =
+  level