[MLton] a unified approach to constants set on the command line

Suresh Jagannathan suresh@cs.purdue.edu
Tue, 14 Sep 2004 10:09:14 -0500 

It seems like a nice way to go, although I've never used 
text-io-buf-size
before.

-- Suresh