> > 1. Char.scan returns NONE upon double quote. ... > MLton currently disagrees with 1; I don't know about the other items. In > any case, this was (the only) show-stopper in compiling the ML-Doc tools > with MLton. Great. I've checked in a change to fix (1) as well as the others.