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

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 =