(j3.2006) Abstract type question

[Bill Long]

Aleksandar Donev wrote:
> Hi Bill,
>
>   
>> 1) The first sentence of para 5 of 4.3.1.3 CLASS (page 50) says "A
>> polymorphic allocatable object may be allocated to be of any type with
>> which it is type compatible."  Does this include the base abstract type
>> used in the declaration?
>>     
> The object is indeed type compatible with the base abstract type. This 
> sentence should probably be modified.
>
>   

Probably, since it contradicts the later restriction that you cannot 
allocate something to have an abstract type.

>> 2) In the list of constraints following the syntax for the ALLOCATE
>> statement, I do not see a constraint that says "If <type-spec> appears,
>> it shall not specify an abstract type".   Should that be the case? Or is
>> this covered somewhere else?
>>     
> See this on page 49 in 008r1:
>
> C403 (R402) The derived-type-spec shall not specify an abstract type (4.5.7).
>   

Yep, that's the the solution for this case.  I knew it was there 
somewhere.  Thanks.

Cheers,
Bill

> Aleks
>
>   

-- 
Bill Long                                   longb at cray.com
Fortran Technical Support    &              voice: 651-605-9024
Bioinformatics Software Development         fax:   651-605-9142
Cray Inc., 1340 Mendota Heights Rd., Mendota Heights, MN, 55120