Define the environments (for types and values)

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

diff --git a/compiler/src/lib/tiger/tiger_env_type.mli b/compiler/src/lib/tiger/tiger_env_type.mli
new file mode 100644 (file)
index 0000000..825750c
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_env_type.mli
@@ -0,0 +1,31 @@
+type unique
+
+type t =
+  | Unit
+  | Nil
+  | Int
+  | String
+  | Record of
+      { unique : unique
+      ; fields : (Tiger_symbol.t * t) list
+      }
+  | Array of
+      { unique : unique
+      ; ty     : t
+      }
+  | Name of Tiger_symbol.t * t option ref
+
+type env =
+  (Tiger_symbol.t, t ) Tiger_map.t
+
+val built_in : env
+
+val is_equal  : t -> t -> bool
+val is_record : t -> bool
+val is_int    : t -> bool
+val is_name   : t -> bool
+
+val new_record : (Tiger_symbol.t * t) list -> t
+val new_array  : t -> t
+
+val to_string : t -> string