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

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
Commit	Line	Data
c0bdf964 SK	1	type unique
	2
	3	type t =
	4	\| Unit
	5	\| Nil
	6	\| Int
	7	\| String
	8	\| Record of
	9	{ unique : unique
	10	; fields : (Tiger_symbol.t * t) list
	11	}
	12	\| Array of
	13	{ unique : unique
	14	; ty : t
	15	}
	16	\| Name of Tiger_symbol.t * t option ref
	17
	18	type env =
	19	(Tiger_symbol.t, t ) Tiger_map.t
	20
	21	val built_in : env
	22
	23	val is_equal : t -> t -> bool
	24	val is_record : t -> bool
	25	val is_int : t -> bool
	26	val is_name : t -> bool
	27
	28	val new_record : (Tiger_symbol.t * t) list -> t
	29	val new_array : t -> t
	30
	31	val to_string : t -> string