Ok, but please send me mail when things are checked in on this. Also I'm curious as to what the bug was. _______________________________________________ MLton-devel mailing list MLton-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mlton-devel