[MLton] sequenceNonUnit

Stephen Weeks MLton@mlton.org
Fri, 5 Aug 2005 18:45:08 -0700


> 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.