re free type variables in SML

Henry Cejtin henry@sourcelight.com
Fri, 24 Aug 2001 14:37:44 -0500 

I thought that the range of program text a compiler must look at to infer a
type wasn't layed down.