[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