X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_frame_sig.ml;h=5ab7718deab588e4525fe12d3a75de3f8ca393bd;hb=3b1bffdb6bf39ea0e4817aefa9a5cc3167433c4f;hp=2da5d572dbb7915707b47a51b01c25225baac4ae;hpb=68e4b4a947a95a965381457c2dc80bef05f8f58a;p=tiger.ml.git

diff --git a/compiler/src/lib/tiger/tiger_frame_sig.ml b/compiler/src/lib/tiger/tiger_frame_sig.ml
index 2da5d57..5ab7718 100644
--- 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