re free type variables in SML

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


Ah yes, it was the overloading case that I was thinking of.  I remember the
section of text you quote, but didn't remember what it was in connection with.