[MLton-commit] r7042

Matthew Fluet fluet at mlton.org
Wed Apr 8 05:30:58 PDT 2009


Error.bug and Trace.trace strings have wrong structure name.
----------------------------------------------------------------------

U   mlton/trunk/mlton/ssa/remove-unused.fun

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

Modified: mlton/trunk/mlton/ssa/remove-unused.fun
===================================================================
--- mlton/trunk/mlton/ssa/remove-unused.fun	2009-04-08 12:30:55 UTC (rev 7041)
+++ mlton/trunk/mlton/ssa/remove-unused.fun	2009-04-08 12:30:57 UTC (rev 7042)
@@ -1,4 +1,5 @@
-(* Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh
+(* Copyright (C) 2009 Matthew Fluet.
+ * Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh
  *    Jagannathan, and Stephen Weeks.
  * Copyright (C) 1997-2000 NEC Research Institute.
  *
@@ -1039,7 +1040,7 @@
                      if FuncInfo.mayReturn fi'
                         then case cont of
                                 None =>
-                                   Error.bug "RemoveUnused2.simplifyTransfer: cont:None"
+                                   Error.bug "RemoveUnused.simplifyTransfer: cont:None"
                               | Caller =>
                                    (if (case (FuncInfo.returns fi,
                                               FuncInfo.returns fi') of
@@ -1047,7 +1048,7 @@
                                               Vector.forall2
                                               (xts, yts, fn ((x, _), (y, _)) =>
                                                VarInfo.isUsed x = VarInfo.isUsed y)
-                                         | _ => Error.bug "RemoveUnused2.simplifyTransfer: cont:Caller")
+                                         | _ => Error.bug "RemoveUnused.simplifyTransfer: cont:Caller")
                                        then Caller
                                     else Some (getReturnContFunc
                                                (fi, valOf (FuncInfo.returns fi'))))
@@ -1059,7 +1060,7 @@
                      if FuncInfo.mayRaise fi'
                         then (case handler of
                                  None =>
-                                    Error.bug "RemoveUnused2.simplifyTransfer: handler:None"
+                                    Error.bug "RemoveUnused.simplifyTransfer: handler:None"
                                | Caller =>
                                     (if (case (FuncInfo.raises fi,
                                                FuncInfo.raises fi') of
@@ -1067,7 +1068,7 @@
                                                Vector.forall2
                                                (xts, yts, fn ((x, _), (y, _)) =>
                                                 VarInfo.isUsed x = VarInfo.isUsed y)
-                                          | _ => Error.bug "RemoveUnused2.simplifyTransfer: handler:Caller")
+                                          | _ => Error.bug "RemoveUnused.simplifyTransfer: handler:Caller")
                                         then Caller
                                      else Some (getRaiseHandlerFunc
                                                 (fi, valOf (FuncInfo.raises fi'))))
@@ -1178,7 +1179,7 @@
                         return = getRuntimeWrapperLabel return}
       val simplifyTransfer =
          Trace.trace
-         ("RemoveUnused2.simplifyTransfer",
+         ("RemoveUnused.simplifyTransfer",
           Layout.tuple2 (Transfer.layout, FuncInfo.layout), Transfer.layout)
          simplifyTransfer
       fun simplifyBlock (Block.T {label, args, statements, transfer}): Block.t option =




More information about the MLton-commit mailing list