> A side effect of having one mlton-stubs implementation is that MLton.debug > is false in all versions; this means that tracing doesn't work by default > in an SML/NJ G0 version of mlton. No big deal, but something to keep in > mind when debugging. True. We could fix that by defining Assert.debug as not MLton.isMLton orelse MLton.debug which sounds good to me