[MLton-commit] r6716
Matthew Fluet
fluet at mlton.org
Tue Aug 19 15:10:17 PDT 2008
Eliminate the only use of CoreML.Program.layout.
One can always use '-keep-pass defunctorize' to keep the equivalent
information.
----------------------------------------------------------------------
U mlton/trunk/mlton/core-ml/core-ml.fun
U mlton/trunk/mlton/core-ml/core-ml.sig
U mlton/trunk/mlton/defunctorize/defunctorize.fun
----------------------------------------------------------------------
Modified: mlton/trunk/mlton/core-ml/core-ml.fun
===================================================================
--- mlton/trunk/mlton/core-ml/core-ml.fun 2008-08-19 22:10:09 UTC (rev 6715)
+++ mlton/trunk/mlton/core-ml/core-ml.fun 2008-08-19 22:10:16 UTC (rev 6716)
@@ -486,9 +486,6 @@
struct
datatype t = T of {decs: Dec.t vector}
- fun layout (T {decs, ...}) =
- Layout.align (Vector.toListMap (decs, Dec.layout))
-
fun layouts (T {decs, ...}, output') =
let
open Layout
Modified: mlton/trunk/mlton/core-ml/core-ml.sig
===================================================================
--- mlton/trunk/mlton/core-ml/core-ml.sig 2008-08-19 22:10:09 UTC (rev 6715)
+++ mlton/trunk/mlton/core-ml/core-ml.sig 2008-08-19 22:10:16 UTC (rev 6716)
@@ -181,7 +181,6 @@
sig
datatype t = T of {decs: Dec.t vector}
- val layout: t -> Layout.t
val layouts: t * (Layout.t -> unit) -> unit
end
end
Modified: mlton/trunk/mlton/defunctorize/defunctorize.fun
===================================================================
--- mlton/trunk/mlton/defunctorize/defunctorize.fun 2008-08-19 22:10:09 UTC (rev 6715)
+++ mlton/trunk/mlton/defunctorize/defunctorize.fun 2008-08-19 22:10:16 UTC (rev 6716)
@@ -1,4 +1,4 @@
-(* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
+(* Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh
* Jagannathan, and Stephen Weeks.
* Copyright (C) 1997-2000 NEC Research Institute.
*
@@ -1097,10 +1097,4 @@
overflow = NONE}
end
-val defunctorize =
- Trace.trace
- ("Defunctorize.defunctorize",
- CoreML.Program.layout, Xml.Program.layout)
- defunctorize
-
end
More information about the MLton-commit
mailing list