1 files changed, 3 insertions, 0 deletions
diff --git a/il.sig b/il.sig
index 4c9e3a6..9e994a3 100644
--- a/il.sig
+++ b/il.sig
@@ -78,10 +78,13 @@ signature IL = sig
 
   val wrapTo8: word -> word
 
+  datatype funcType = FtLeaf | FtNonLeaf
+
   datatype funcInfo = Fi of {
     name: int,
     paramNum: int,
     localBound: int,
+    t: funcType,
     vregs: regInfo D.t,
     ops: (irIns option * (label * label) option) D.t,
     labels: int option D.t