[MLton-commit] r7527

Matthew Fluet fluet at mlton.org
Tue May 3 12:00:06 PDT 2011


Eliminate redundant 'orelse decIsWild d'.

Thanks to Baojian Hua for the suggestion.
----------------------------------------------------------------------

U   mlton/trunk/mlton/core-ml/dead-code.fun

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

Modified: mlton/trunk/mlton/core-ml/dead-code.fun
===================================================================
--- mlton/trunk/mlton/core-ml/dead-code.fun	2011-04-15 15:57:34 UTC (rev 7526)
+++ mlton/trunk/mlton/core-ml/dead-code.fun	2011-05-03 19:00:05 UTC (rev 7527)
@@ -1,4 +1,5 @@
-(* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
+(* Copyright (C) 2011 Matthew Fluet.
+ * Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
  *    Jagannathan, and Stephen Weeks.
  * Copyright (C) 1997-2000 NEC Research Institute.
  *
@@ -43,7 +44,6 @@
           | Val {rvbs, vbs, ...} =>
                Vector.exists (rvbs, varIsUsed o #var)
                orelse Vector.exists (vbs, patVarIsUsed o #pat)
-               orelse decIsWild d
       fun useVar x = setVarIsUsed (x, true)
       fun useExp (e: Exp.t): unit = Exp.foreachVar (e, useVar)
       fun useLambda (l: Lambda.t): unit =




More information about the MLton-commit mailing list