[MLton] sequenceNonUnit

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


> > Constraining a structure by a signature does not alter the principal
> > type of the structure, so the inferred type of the expression in a
> > sequence position is not altered by the signature match.
> 
> Excellent point.  There should be warnings in all your examples.

And, hence, also in the DynamicWind.wind function.