Re: [Sml-implementers] Subject: Standard ML

[Andreas R. <ros...@ps...>]

Dave Berry wrote:
> 
> I take it that in your table, '+' indicates a passed test, and '-' a failed
> one?

Yes (modulo the corrections necessary due to the \r stuff).

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

That's interesting. I only have MLWorks running at home so I cannot test
it right now. I will check over the weekend.

	- Andreas