> Doesn't the fact that the C back end works at least stronly imply that it > is a code generator bug in MLton? Yes, but mitigating against that is that the code from the native codegen works on Linux, even with -reserve-esp true. And, this is Cygwin, which I don't trust. I hope Matthew has some ideas when he gets back.