> what would MLton have to offer over the other compilers that already do > that? Stability? 64 bits? Moderate memory consumption? Our current two platforms do not meet all of these requirements. However, we'll also take a closer look to see if the many "use"s can be eliminated. It won't be easy and it would make the system less (easily) user-extensible. Thanks, Tobias