Rough frame allocations

[tiger.ml.git] / compiler / src / lib / tiger / tiger_env_value.mli

diff --git a/compiler/src/lib/tiger/tiger_env_value.mli b/compiler/src/lib/tiger/tiger_env_value.mli
index 71209eb..96d07ad 100644 (file)
--- 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 =