X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_frame_sig.ml;h=5ab7718deab588e4525fe12d3a75de3f8ca393bd;hb=3b1bffdb6bf39ea0e4817aefa9a5cc3167433c4f;hp=b9b3c77ac4ff2a71c878e8f280ac4efcfe69b7be;hpb=cc540a7e2dfcee4411953075210a64de874b91e5;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 b9b3c77..5ab7718 100644
--- a/compiler/src/lib/tiger/tiger_frame_sig.ml
+++ b/compiler/src/lib/tiger/tiger_frame_sig.ml
@@ -3,6 +3,12 @@ module type S = sig
 
   type access
 
+  val word_size :
+    int
+
+  val pointer :
+    Tiger_temp.Temp.t
+
   val make :
     name:Tiger_temp.Label.t -> formals:bool list -> t
 
@@ -14,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