On Mon, 19 Sep 2011 19:21:21 -0700 ungar at mac.com wrote: > Ole Agesen implemented a type-inferencer for Self when he wrote > his Ph.D. I was his advisor. Was it ever incorporated into Self?