CVS commit

Stephen Weeks MLton@sourcelight.com
Wed, 12 Sep 2001 14:35:04 -0700


> 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.