Misc...

[Anoq of the Sun]

Stephen Weeks wrote:
> ...
> There must be some confusion in your communication with Martin,
> since the version of the MLKit that I have (3.9.1) handles this correctly, as
> does SML/NJ and MLton.  That is,
> 
>         fun Option x = x
> 
> is legal, while
> 
>         val Option = fn x => x
> 
> is not.
> 
> According to Figure 17, page 57, of the definition, "fun Option x = x" expands
> to "val rec Option = fn x => x".  Note the presenc of "rec".  Thus, according to
> rule 26, page 24, this overrides the definition of the Option exception.

Here's Martin's reply, so the problem should really be gone now...

Martin Elsman wrote:
> The bug is indeed a bug in the Kit. The bug is corrected in the new
> working version; see
> 
>    http://www.it.edu/research/mlkit/download.html
> 
> Cheers,
> 
> Martin


Cheers
-- 
http://www.HardcoreProcessing.com