On Fri, 2006-05-19 at 01:52 -0400, Swaroop Sridhar wrote: > In BitC, we impose the relaxed value restriction proposed by Garrigue. > So, only "dangerous" type variables are not generalized in an expansive > expression.... I'm not sure what question is being answered with this note. Are you just archiving the statement? shap