> I just compiled the `Christmas' version (from April) of MLton on a stock > Red Hat 6.2 machine which is using glibc-2.1.3-15, and it seems to work > perfectly. (I didn't do much, just made it and then compiled and ran > the hello world example.) Actually, it would be better if you tried the 1999-7-12 version, since that is what ANOQ is using. You can get it from the mlton web site.