Define the environments (for types and values)

[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
new file mode 100644 (file)
index 0000000..71209eb
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_env_value.mli
@@ -0,0 +1,12 @@
+type t =
+  | Var of
+      {ty : Tiger_env_type.t}
+  | Fun of
+      { formals : Tiger_env_type.t list
+      ; result  : Tiger_env_type.t
+      }
+
+type env =
+  (Tiger_symbol.t, t ) Tiger_map.t
+
+val built_in : env