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

module Sym = Tiger_symbol

type unique

type t =
  | Unit
  | Nil
  | Int
  | String
  | Record of
      { unique : unique
      ; fields : record_fields
      }
  | Array of
      { unique : unique
      ; ty     : t
      }
  | Name of Sym.t * t option ref
and record_fields =
  (Sym.t * t) list

type env =
  (Sym.t, t ) Tiger_map.t

val built_in : env

val is_equal  : t -> t -> bool

val is_int    : t -> bool
val is_string : t -> bool
val is_array  : t -> bool
val is_record : t -> bool
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 : name:Sym.t -> fields:record_fields -> t
val new_array  : name:Sym.t -> ty:t -> t

val to_string : t -> string
Commit	Line	Data
	1	module Sym = Tiger_symbol
	2
	3	type unique
	4
	5	type t =
	6	\| Unit
	7	\| Nil
	8	\| Int
	9	\| String
	10	\| Record of
	11	{ unique : unique
	12	; fields : record_fields
	13	}
	14	\| Array of
	15	{ unique : unique
	16	; ty : t
	17	}
	18	\| Name of Sym.t * t option ref
	19	and record_fields =
	20	(Sym.t * t) list
	21
	22	type env =
	23	(Sym.t, t ) Tiger_map.t
	24
	25	val built_in : env
	26
	27	val is_equal : t -> t -> bool
	28
	29	val is_int : t -> bool
	30	val is_string : t -> bool
	31	val is_array : t -> bool
	32	val is_record : t -> bool
	33	val is_name : t -> bool
	34
	35	val if_record : t -> f:(record_fields -> 'a) -> otherwise:(unit -> 'a) -> 'a
	36	val if_array : t -> f:(t -> 'a) -> otherwise:(unit -> 'a) -> 'a
	37
	38	val new_record : name:Sym.t -> fields:record_fields -> t
	39	val new_array : name:Sym.t -> ty:t -> t
	40
	41	val to_string : t -> string