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

Stephen Weeks MLton@mlton.org
Tue, 14 Sep 2004 08:49:23 -0700


> I assume you mean
> 
>  	_command_line_const "TextIO.bufSize": int = 4096;
> 
> (or whatever the default is).

Yep.

It sounds like we have a consensus, so I'll make the change shortly.