WIP

[tiger.ml.git] / compiler / src / lib / tiger / tiger_frame_sig.ml

diff --git a/compiler/src/lib/tiger/tiger_frame_sig.ml b/compiler/src/lib/tiger/tiger_frame_sig.ml
index 2da5d57..5ab7718 100644 (file)
--- a/compiler/src/lib/tiger/tiger_frame_sig.ml
+++ b/compiler/src/lib/tiger/tiger_frame_sig.ml
@@ -3,7 +3,11 @@ module type S = sig
 
   type access
 
-  val word_size : int
+  val word_size :
+    int
+
+  val pointer :
+    Tiger_temp.Temp.t
 
   val make :
     name:Tiger_temp.Label.t -> formals:bool list -> t
@@ -16,4 +20,7 @@ module type S = sig
 
   val alloc_local :
     t -> escapes:bool -> access
+
+  val exp :
+    access:access -> pointer:Tiger_tree.exp -> Tiger_tree.exp
 end