[MLton] sequenceNonUnit

Matthew Fluet fluet@cs.cornell.edu
Fri, 5 Aug 2005 21:34:24 -0400 (EDT)


> > The implementation also suffers from the fact that, since a warning
> > does not abort the compilation, a warning in a functor body is
> > replicated at each functor instantiation (with no distinguishing
> > feature of the warning message).
> 
> This is no different than match warnings, so it seems OK (or at least
> consistent).

Agreed.