Hi Joe. There's a new experimental release of MLton, 20040106, at http://www.mlton.org/experimental/ We'd appreciate you trying out your latest port of HOL on it, and would especially like to hear of any problems you have with the new front end. Thanks. BTW, I'd strongly recommend upgrading to the new basis, as support for -basis 1997 is dwindling.