WIP type-checking

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

type unique

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

type env =
  (Tiger_symbol.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 new_record : record_fields -> t
val new_array  : t -> t

val to_string : t -> string