[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