Ah, relatively very fine. You should definitely send in a bug report. The best way is to use Red Hat bugzilla http://bugzilla.redhat.com/bugzilla/ _______________________________________________ MLton-devel mailing list MLton-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mlton-devel