[F03] EXTENDS_TYPE_OF, CLASS IS and libgfortran

[Janus Weil]

>>> I guess that you could add
>>> a flag that determines if gfortran_is_extension_of goes only to the
>>> parent or all the way up the ancestral tree.
>>
>> Hm. What for? To use it also for SAME_TYPE_AS?  (which we currently do
>> inline...)
>
> No, that's not what I had in mind. What I was thinking, though, is wrong :-)
>
> BTW CLASS IS must, presumably, only refer to the declared type of the
> object, rather than it being enclosed by extension.

I don't see what you mean. SELECT TYPE is all about the *dynamic* type
of the selector, isn't it? And for "CLASS IS (X)", X is the name of a
derived type, not a variable object. So, what 'object' do you refer
to?


> Early on, I had a
> notion that the CLASS container should have a pointer to the declared
> type vtab....

I still don't think this is necessary (as discussed before).

Cheers,
Janus