> The below code passes the MLton typechecker (-stop tc), but fails in > a later optimization pass. The bug is in refFlatten, which I discovered by compiling with "-type-check true -verbose 2". RefFlatten is not an essential pass, so for now, you can survive by compiling "-drop-pass refFlatten". In the meantime, I am investigating the bug.