> http://www.cs.cornell.edu/People/fluet/MLton/benchmark.tgz cvs ci done. > For really serious benchmarking, I was thinking of adding a command line > option like: > > -flag "mlton;;-new-flag1,{true,false};-new-flag2,{0,1,2}" sounds neat to me.