[MLton-commit] r6741

Matthew Fluet fluet at mlton.org
Tue Aug 19 15:13:14 PDT 2008


Rename SsaTree2.Type.reff to SsaTree2.Type.reff1 to match SsaTree2.Type.array1 and SsaTree2.Type.vector1.
----------------------------------------------------------------------

U   mlton/trunk/mlton/ssa/ssa-to-ssa2.fun
U   mlton/trunk/mlton/ssa/ssa-tree2.fun
U   mlton/trunk/mlton/ssa/ssa-tree2.sig

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/ssa/ssa-to-ssa2.fun
===================================================================
--- mlton/trunk/mlton/ssa/ssa-to-ssa2.fun	2008-08-19 22:13:03 UTC (rev 6740)
+++ mlton/trunk/mlton/ssa/ssa-to-ssa2.fun	2008-08-19 22:13:11 UTC (rev 6741)
@@ -42,7 +42,7 @@
             | S.Type.Datatype tycon => S2.Type.datatypee tycon
             | S.Type.IntInf => S2.Type.intInf
             | S.Type.Real s => S2.Type.real s
-            | S.Type.Ref t => S2.Type.reff (convertType t)
+            | S.Type.Ref t => S2.Type.reff1 (convertType t)
             | S.Type.Thread => S2.Type.thread
             | S.Type.Tuple ts =>
                  S2.Type.tuple (Prod.make

Modified: mlton/trunk/mlton/ssa/ssa-tree2.fun
===================================================================
--- mlton/trunk/mlton/ssa/ssa-tree2.fun	2008-08-19 22:13:03 UTC (rev 6740)
+++ mlton/trunk/mlton/ssa/ssa-tree2.fun	2008-08-19 22:13:11 UTC (rev 6741)
@@ -264,7 +264,7 @@
 
       fun tuple ts = object {args = ts, con = Tuple}
 
-      fun reff t =
+      fun reff1 t =
          object {args = Prod.make (Vector.new1 {elt = t, isMutable = true}),
                  con = Tuple}
 
@@ -335,7 +335,7 @@
                                exn = unit,
                                intInf = intInf,
                                real = real,
-                               reff = reff,
+                               reff = fn _ => raise BadPrimApp,
                                thread = thread,
                                unit = unit,
                                vector = vector1,

Modified: mlton/trunk/mlton/ssa/ssa-tree2.sig
===================================================================
--- mlton/trunk/mlton/ssa/ssa-tree2.sig	2008-08-19 22:13:03 UTC (rev 6740)
+++ mlton/trunk/mlton/ssa/ssa-tree2.sig	2008-08-19 22:13:11 UTC (rev 6741)
@@ -80,7 +80,7 @@
             val ofConst: Const.t -> t
             val plist: t -> PropertyList.t
             val real: RealSize.t -> t
-            val reff: t -> t
+            val reff1: t -> t
             val thread: t
             val tuple: t Prod.t -> t
             val vector: t Prod.t -> t




More information about the MLton-commit mailing list