[MLton] cvs commit: sped up output1 a lot

Matthew Fluet fluet@cs.cornell.edu
Fri, 2 Jan 2004 19:09:00 -0500 (EST)


> Re  system  calls being expensive, I would be really surprised if they are so
> expensive that switching from a 4K BUFSIZ to  a  64K  one  really  makes  any
> appreciable difference.  We could switch that though.

One can check that very easily.  The compiler flag -text-io-buf-size <n>
sets both the input and output buffer sizes (for both BinIO and TextIO).