X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_translate.mli;h=5250b50e4c40ea71e7b5c2467c3f8ea99f46176a;hb=3b1bffdb6bf39ea0e4817aefa9a5cc3167433c4f;hp=9fd11464b30733a3ca97d01587f4aa3e32f8236e;hpb=cc540a7e2dfcee4411953075210a64de874b91e5;p=tiger.ml.git

diff --git a/compiler/src/lib/tiger/tiger_translate.mli b/compiler/src/lib/tiger/tiger_translate.mli
index 9fd1146..5250b50 100644
--- a/compiler/src/lib/tiger/tiger_translate.mli
+++ b/compiler/src/lib/tiger/tiger_translate.mli
@@ -8,10 +8,21 @@ module Level : sig
   (** "newLevel" in Appel's code *)
 end
 
-type exp = unit
+type gen_stm =
+  (Tiger_temp.Label.t * Tiger_temp.Label.t) -> Tiger_tree.stm
+
+type exp
 
 type access
 
 val alloc_local : level:Level.t -> escapes:bool -> access
 
 val formals : level:Level.t -> access list
+
+val unEx : exp -> Tiger_tree.exp
+val unNx : exp -> Tiger_tree.stm
+val unCx : exp -> gen_stm
+
+val dummy__FIXME : exp  (* FIXME: Remove dummy when real is ready *)
+
+val simple_var : access -> exp