What is the MLton position regarding the suitability of using GNU configure or even the loved or loathed autoconf as part of the MLton build system? Ray