Is there a way to have MLton print out my program as it is optimizing? I've tried "-keep g", but the ASM is too detached from the SML, so I can't tell "how much" is getting optimized. In particular, I'd like to look at the SXML and SSA (or SSA2) versions. Thanks so much Jay -- Jay McCarthy <jay.mccarthy at gmail.com> http://jay.teammccarthy.org