Rough frame allocations

[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
new file mode 100644 (file)
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