re free type variables in SML
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.