Hi Nikita, > > Let us consider the next sample: > >... Could you send me the .class file for your example, so that I run it through Soot's type inference implementation? Etienne -- ---------------------------------------------------------------------- Etienne M. Gagnon, M.Sc. e-mail: egagnon@j-meg.com Author of SableCC: http://www.sablecc.org/ and SableVM: http://www.sablevm.org/