[MLton] HOL on MLton

Stephen Weeks MLton@mlton.org
Wed, 7 Jan 2004 08:55:56 -0800

Hi Joe.  There's a new experimental release of MLton, 20040106, at


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.