hi, The code at line 46 of "mlton/core-ml/dead-code.fun" seems to be redundant. The only use of the function "decIsNeeded" is at line 69: if decIsWild dec orelse decIsNeeded dec where it is preceeded by a call to "decIsWild". Am I missing something? -Paul