In the simple ML file val frogp = _address "frog": int ref; (where I mistakenly used the type int ref instead of MLton.Pointer.t), the compilation fails with the message: Type error: bad primapp followed by a dump of not quite 14,000 lines of intermediate code, which even includes some 0 bytes in it. This all on MLton 20051202.