compiler/src/lib/tiger/tiger_translate.mli

   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
  11 type exp = unit
  12
  13 type access
  14
  15 val alloc_local : level:Level.t -> escapes:bool -> access
  16
  17 val formals : level:Level.t -> access list