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

[Stephen Weeks]

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