> Re dontInLine, it may not use any primitives, but it certainly > relies on a lot of things about MLton (that recursive functions > aren't unrolled, that the simplitier will get rid of the junk, > etc.). True. That is a good argument for putting it in the (or some) basis, since it may change occasionally.