[MLton-commit] r6721

[Matthew Fluet]

More descriptive XML IL stats.
----------------------------------------------------------------------

U   mlton/trunk/mlton/xml/xml-tree.fun

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

Modified: mlton/trunk/mlton/xml/xml-tree.fun
===================================================================
--- mlton/trunk/mlton/xml/xml-tree.fun	2008-08-19 22:10:46 UTC (rev 6720)
+++ mlton/trunk/mlton/xml/xml-tree.fun	2008-08-19 22:10:52 UTC (rev 6721)
@@ -914,7 +914,7 @@
                 handleBoundVar = hom o #3,
                 handleExp = fn _ => ()})
             ; destroy ()
-            ; align [seq [str "size = ", Int.layout (!numPrimExps)],
+            ; align [seq [str "num primexps in program = ", Int.layout (!numPrimExps)],
                      seq [str "num types in program = ", Int.layout (!numTypes)],
                      Type.stats ()]
          end