[MLton] flattening of arrays and vectors
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.