]> Joshua Wise's Git repositories - snipe.git/blobdiff - trans/tree.sml
Remove sizes from temps.
[snipe.git] / trans / tree.sml
index dbd0efc335dbd8b57deafab808daac8f536700b2..2111fc19f666758fa1680f3c211e509438935564 100644 (file)
@@ -17,18 +17,18 @@ 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
     | 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 +49,18 @@ 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
     | 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
This page took 0.023696 seconds and 4 git commands to generate.