X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/5c79bb689ab446551bc7ec4497e6c9b75582837e..0328a46e225c7d763ce0b003eac84da0ad608a5c:/trans/tree.sml?ds=inline

diff --git a/trans/tree.sml b/trans/tree.sml
index dbd0efc..d03180e 100644
--- a/trans/tree.sml
+++ b/trans/tree.sml
@@ -17,18 +17,19 @@ sig
   datatype exp = 
       CONST of Word32.word
     | TEMP of Temp.temp
-    | ARG of Blarg * Temp.size (* I am j4cbo *)
+    | ARG of Blarg (* I am j4cbo *)
     | BINOP of binop * exp * exp
     | UNOP of unop * exp
-    | CALL of Ast.ident * (exp * Temp.size) list * Temp.size
-    | MEMORY of exp * Temp.size
+    | CALL of Ast.ident * exp list
+    | MEMORY of exp
     | ALLOC of exp
+    | STRING of Stringref.stringref
     | COND of exp * exp * exp
     | STMVAR of stm list * exp
     | NULLPTR
   and stm =
       MOVE of exp * exp
-    | RETURN of exp * Temp.size
+    | RETURN of exp
     | EFFECT of exp
     | LABEL of Label.label
     | JUMPIFN of exp * Label.label
@@ -49,18 +50,19 @@ struct
   datatype exp = 
       CONST of Word32.word
     | TEMP of Temp.temp
-    | ARG of Blarg * Temp.size (* I am j4cbo *)
+    | ARG of Blarg (* I am j4cbo *)
     | BINOP of binop * exp * exp
     | UNOP of unop * exp
-    | CALL of Ast.ident * (exp * Temp.size) list * Temp.size
-    | MEMORY of exp * Temp.size
+    | CALL of Ast.ident * exp list
+    | MEMORY of exp
     | ALLOC of exp
+    | STRING of Stringref.stringref
     | COND of exp * exp * exp
     | STMVAR of stm list * exp
     | NULLPTR
   and stm =
       MOVE of exp * exp
-    | RETURN of exp * Temp.size
+    | RETURN of exp
     | EFFECT of exp
     | LABEL of Label.label
     | JUMPIFN of exp * Label.label