[MLton] Bug in optimizations related to ref cells?

Stephen Weeks MLton@mlton.org
Sat, 16 Jul 2005 08:07:37 -0700

> 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.