X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_env_type.mli;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_env_type.mli;h=c8810a76345f4df61a7475bd496bc4ba3eb2f8d7;hp=2716e590c588865bcd25c229aea60787649fc075;hb=a131e30c2d9787dab6fe7f38430d8c54359af078;hpb=fd2204fa98928a900f303209818dce7f2bae3c8a

diff --git a/compiler/src/lib/tiger/tiger_env_type.mli b/compiler/src/lib/tiger/tiger_env_type.mli
index 2716e59..c8810a7 100644
--- a/compiler/src/lib/tiger/tiger_env_type.mli
+++ b/compiler/src/lib/tiger/tiger_env_type.mli
@@ -1,3 +1,5 @@
+module Sym = Tiger_symbol
+
 type unique
 
 type t =
@@ -13,12 +15,12 @@ type t =
       { unique : unique
       ; ty     : t
       }
-  | Name of Tiger_symbol.t * t option ref
+  | Name of Sym.t * t option ref
 and record_fields =
-  (Tiger_symbol.t * t) list
+  (Sym.t * t) list
 
 type env =
-  (Tiger_symbol.t, t ) Tiger_map.t
+  (Sym.t, t ) Tiger_map.t
 
 val built_in : env
 
@@ -33,7 +35,7 @@ val is_name   : t -> bool
 val if_record : t -> f:(record_fields -> 'a) -> otherwise:(unit -> 'a) -> 'a
 val if_array  : t -> f:(t -> 'a)             -> otherwise:(unit -> 'a) -> 'a
 
-val new_record : record_fields -> t
-val new_array  : t -> t
+val new_record : name:Sym.t -> fields:record_fields -> t
+val new_array  : name:Sym.t -> ty:t -> t
 
 val to_string : t -> string