re free type variables in SML

Matthew Fluet mfluet@intertrust.com
Fri, 24 Aug 2001 12:08:03 -0700 (PDT)


RFC -- Request for Context

> > In addition to the ambiguous of the definition with regards to top-level free
> > type variables in the result of expansive expressions, it would be really great
> > if the scope over which type inference could run was spelled out, right?
>
> With the exception of overloading, I think the scope is spelled out.  Although I
> think even easier is my proposal (soon to appear on comp.lang.ml) of not
> allowing expansive declarations with unconstrained types.