On 08/18/2010 11:24 AM, Tom Tromey wrote: >>>>>> "Sami" == sami wagiaalla writes: > > Sami> Although, you are right, there is no strict type checking. Are you > Sami> suggesting we make psymbol_cache a new type ? > > Yeah; at least, if it isn't too big. > Patch attached.