[MLton-commit] r6038

[Matthew Fluet]

Tracing
----------------------------------------------------------------------

U   mlton/trunk/mlton/atoms/hash-type.fun
U   mlton/trunk/mlton/defunctorize/defunctorize.fun

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

Modified: mlton/trunk/mlton/atoms/hash-type.fun
===================================================================
--- mlton/trunk/mlton/atoms/hash-type.fun	2007-09-19 16:50:01 UTC (rev 6037)
+++ mlton/trunk/mlton/atoms/hash-type.fun	2007-09-19 19:32:07 UTC (rev 6038)
@@ -166,11 +166,13 @@
                            | SOME (_, ty) => ty),
            con = con}
 
-(* val substitute =
- *    Trace.trace2 ("HashType.substitute", layout,
- *              List.layout (Layout.tuple2 (Tyvar.layout, Type.layout)),
- *              layout) substitute              
- *)
+val substitute =
+   Trace.trace2 
+   ("HashType.substitute", 
+    layout, 
+    Vector.layout (Layout.tuple2 (Tyvar.layout, Type.layout)), 
+    layout) 
+   substitute
 
 (* fun equalss (ts: t list): t option =
  *    case ts of

Modified: mlton/trunk/mlton/defunctorize/defunctorize.fun
===================================================================
--- mlton/trunk/mlton/defunctorize/defunctorize.fun	2007-09-19 16:50:01 UTC (rev 6037)
+++ mlton/trunk/mlton/defunctorize/defunctorize.fun	2007-09-19 19:32:07 UTC (rev 6038)
@@ -514,6 +514,10 @@
          in
             Ctype.makeHom {con = con, var = Xtype.var}
          end
+      val loopTy =
+         Trace.trace
+         ("Defunctorize.loopTy", Ctype.layout, Xtype.layout)
+         loopTy
       fun conTargs (c: Con.t, ts: Ctype.t vector): Xtype.t vector =
          let
             val ts = Vector.map (ts, loopTy)