[MLton] cvs commit: new front end

[Matthew Fluet]

>   The next phase in the new front end: checking functors at the point of
>   definition.
>
>   This is implemented by building a dummy structure from the argument
>   signature and then applying the functor to the dummy strucure just as
>   we would for a real functor application.

So, is it that the functor is being checked at the point of definition,
as well as it's instantiation at functor application?  Does that mean that
a functor argument isn't matched against it's argument signature, it's
just expanded and rechecked?