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

module Level : sig
  type t

  val init : t
  (** "outermost" in Applel's code *)

  val next : t -> name:Tiger_temp.Label.t -> formals:bool list -> t
  (** "newLevel" in Appel's code *)
end

type exp = unit

type access

val alloc_local : level:Level.t -> escapes:bool -> access

val formals : level:Level.t -> access list
Commit	Line	Data
cc540a7e SK	1	module Level : sig
	2	type t
	3
	4	val init : t
	5	(** "outermost" in Applel's code *)
	6
	7	val next : t -> name:Tiger_temp.Label.t -> formals:bool list -> t
	8	(** "newLevel" in Appel's code *)
	9	end
	10
42043503	11	type exp = unit
cc540a7e SK	12
	13	type access
	14
	15	val alloc_local : level:Level.t -> escapes:bool -> access
	16
	17	val formals : level:Level.t -> access list