[MLton] Re: testing MLton's new front end

Stephen Weeks MLton@mlton.org
Thu, 22 Jan 2004 23:36:29 -0800


> As to the other examples where there are two topdecs, MLton now
> rejects those as well.
> 
>    val a = ref nil;
>    val _ = a := [1];
> 
>    val a = ref nil;
>    structure X : sig val a : int list ref end =
>    struct
>        val a = a
>    end;
> 
> It doesn't do it exactly according to section G.8.  Rather, it chooses
> unique monotypes for the undetermined types that then fail to unify,
> which I guess is what Poly/ML and SML/NJ do.

Upon further reflection, I went ahead and made MLton accept these,
while issuing a warning about the undetermined types.