Re: [Sml-implementers] Subject: Standard ML

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

Dave Berry wrote:
> 
> 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?

MLWorks indeed does that. I added a test case "redundant". Still, this
is not something the Definition should enforce, IMHO. It requires a form
of abstract interpretation that seems a bit unreasonable weighed with
the benefits, in particular in the presence of separate compilation. No
other system implements it.

	- Andreas