Re: [Sml-implementers] Subject: Standard ML

[Dave B. <da...@ta...>]

That's good work.

I take it that in your table, '+' indicates a passed test, and '-' a failed
one?

Regarding section 4.10, and the exhaustiveness checking of exception
constructors within functors, I believe that MLWorks does check this when
the functor is applied.  I don't have an implementation at hand to check
this, but perhaps you could add this to your test programs?

Dave.