X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_frame_sig.ml;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_frame_sig.ml;h=b9b3c77ac4ff2a71c878e8f280ac4efcfe69b7be;hp=0000000000000000000000000000000000000000;hb=cc540a7e2dfcee4411953075210a64de874b91e5;hpb=21d0f0503ea169988685a4f39d0e32b2b097dae6

diff --git a/compiler/src/lib/tiger/tiger_frame_sig.ml b/compiler/src/lib/tiger/tiger_frame_sig.ml
new file mode 100644
index 0000000..b9b3c77
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_frame_sig.ml
@@ -0,0 +1,17 @@
+module type S = sig
+  type t
+
+  type access
+
+  val make :
+    name:Tiger_temp.Label.t -> formals:bool list -> t
+
+  val name :
+    t -> Tiger_temp.Label.t
+
+  val formals :
+    t -> access list
+
+  val alloc_local :
+    t -> escapes:bool -> access
+end