[MLton] Question about Definition of SML :)

Stephen Weeks MLton@mlton.org
Tue, 9 Dec 2003 11:45:38 -0800


> > Will you accept or reject
> > 
> >         val x = ref nil
> 
> I will reject it - due to value-restriction (and the truly "closing closure").

What prevents the type inference from assigning x the type "int list
ref", which has no type variables?  I don't see how closure can come
into play here.