[Pnet-developers] Re: Mid-Term evaluation

[Klaus Treichel]

Hi Ivan,

i'm still thinking about this issue.

My last thoughts are that we have to distinguish between the synthetic
classes which are only wrappers around the TypeSpecs and are used for
type resolutions and the instanciations.

For type resolution purposes i think the wrapper classes have to be in
the same image as the TypeSpec they wrap.

The instanciations have to be in the synthetic image because we want
only one instanciation for one generic class with the given types of
generic parameters.

Any other ideas?

Cheers,
Klaus

Am Montag, den 09.07.2007, 22:07 -0400 schrieb Ivan de Jesus Deras
Tabora:

<snip>

> So far I've seen that generic instances are created using synthetic
> classes, such classes are created in their own image. The problem I
> was having with that is that every time a method tries to lookup a
> token it use their own image, so if the method is an instance it
> resides in the synthetic image, so the lookup failed.  My first
> solution was to change the code to use the image of the underlaying
> method (the generic definition), but more than a solution I think this
> looks more like a trick.  So my last solution was to make class
> instances reside in the image of the class definition.  This works,
> but I don't know what are the consequences of this?  What do you think
> ?
> 
> Thanks,
> Ivan

signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil