X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_translate.mli;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_translate.mli;h=9fd11464b30733a3ca97d01587f4aa3e32f8236e;hp=7f71711273e66877c712e266684ec6f122dba78b;hb=cc540a7e2dfcee4411953075210a64de874b91e5;hpb=21d0f0503ea169988685a4f39d0e32b2b097dae6

diff --git a/compiler/src/lib/tiger/tiger_translate.mli b/compiler/src/lib/tiger/tiger_translate.mli
index 7f71711..9fd1146 100644
--- a/compiler/src/lib/tiger/tiger_translate.mli
+++ b/compiler/src/lib/tiger/tiger_translate.mli
@@ -1 +1,17 @@
+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