[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