And even 7.3 compiled versions worked under 7.1? How strange given the reported problems. ------------------------------------------------------- In remembrance www.osdn.com/911/ _______________________________________________ MLton-devel mailing list MLton-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mlton-devel