[MLton] flattening of arrays and vectors

Matthew Fluet fluet@cs.cornell.edu
Fri, 13 Aug 2004 11:12:15 -0400 (EDT)

> With  regards  to  the September release, is that version planned to have the
> undumped (save world) processing of the basis library?  Now that MLton can be
> used during development, it would be very nice to have the time from start to
> detection of type/syntax errors be shorter.

I suppose it would be possible, although I'm not sure that it is
necessary.  When type-checking MLton, only 10% of the time is spent
type-checking the basis library.