X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_env_value.mli;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_env_value.mli;h=96d07ad927447e7f873da044a9f95b7a649082e5;hp=71209eb2543b567aeff109d38d104c1364ecdfcf;hb=cc540a7e2dfcee4411953075210a64de874b91e5;hpb=21d0f0503ea169988685a4f39d0e32b2b097dae6

diff --git a/compiler/src/lib/tiger/tiger_env_value.mli b/compiler/src/lib/tiger/tiger_env_value.mli
index 71209eb..96d07ad 100644
--- a/compiler/src/lib/tiger/tiger_env_value.mli
+++ b/compiler/src/lib/tiger/tiger_env_value.mli
@@ -1,9 +1,13 @@
 type t =
   | Var of
-      {ty : Tiger_env_type.t}
+      { access : Tiger_translate.access
+      ; ty     : Tiger_env_type.t
+      }
   | Fun of
       { formals : Tiger_env_type.t list
       ; result  : Tiger_env_type.t
+      ; level   : Tiger_translate.Level.t
+      ; label   : Tiger_temp.Label.t
       }
 
 type env =