Matthew, since you're looking into -sequence-unit true on the MLton sources, I'll look into -warn-unused true. I'll skip the x86-codegen, which has 928 of the 2288 warnings, for now if you want to look at those.