(*
**
** TIGERATS: a Tiger compiler written in ATS
**
** Author: Hongwei Xi (hwxi AT cs DOT bu DOT edu)
** Time: Spring, 2009
**
*)

(* ****** ****** *)

staload Sym = "symbol.sats"

(* ****** ****** *)

abst@ype temp_t = int64

typedef templst = List temp_t
viewtypedef templst_vt = List_vt temp_t

typedef tempopt = Option (temp_t)
viewtypedef tempopt_vt = Option_vt (temp_t)

(* ****** ****** *)

val temp_bogus : temp_t
fun temp_is_bogus (tmp: temp_t):<> bool
fun temp_isnot_bogus (tmp: temp_t):<> bool

fun temp_make_new (): temp_t
fun temp_make_fixed (n: int): temp_t

fun temp_name_get (tmp: temp_t): string

(* ****** ****** *)

fun eq_temp_temp (_: temp_t, _: temp_t):<> bool

fun compare_temp_temp (_: temp_t, _: temp_t):<> Sgn
overload compare with compare_temp_temp

fun hash_temp (_: temp_t):<> ulint = "tigerats_hash_temp"

(* ****** ****** *)

fun fprint_temp (out: FILEref, tmp: temp_t): void
fun print_temp (tmp: temp_t): void
fun prerr_temp (tmp: temp_t): void

fun fprint_templst (out: FILEref, tmps: templst): void
fun print_templst (tmps: templst): void
fun prerr_templst (tmps: templst): void

(* ****** ****** *)

fun temp_is_fixed (tmp: temp_t):<> bool

(* ****** ****** *)

abstype label_t
typedef lablst = List label_t

fun label_make_new (): label_t
fun label_make_name (name: string): label_t

//

fun label_make_str_new (): label_t
fun label_make_fun_new (fsym: $Sym.symbol_t): label_t

//

fun label_name_get (lab: label_t): string

fun eq_label_label (_: label_t, _: label_t):<> bool
overload = with eq_label_label

fun compare_label_label (_: label_t, _: label_t):<> Sgn
overload compare with compare_label_label

fun fprint_label (out: FILEref, lab: label_t): void
fun print_label (lab: label_t): void
fun prerr_label (lab: label_t): void

fun fprint_lablst (out: FILEref, labs :lablst): void
fun print_lablst (labs: lablst): void
fun prerr_lablst (labs: lablst): void

(* ****** ****** *)

val tiger_chr : label_t
val tiger_flush : label_t
val tiger_getchar : label_t
val tiger_ord : label_t
val tiger_print : label_t
val tiger_print_int : label_t
val tiger_size : label_t
val tiger_substring : label_t
val tiger_concat : label_t
val tiger_not : label_t
val tiger_exit : label_t

val tiger_main : label_t
val tiger_array_alloc : label_t
val tiger_array_make_elt : label_t

val tiger_eq_string_string : label_t
val tiger_neq_string_string : label_t

(* ****** ****** *)

(* end of [templab.sats] *)