(j3.2006) Abstract type question

[Aleksandar Donev]

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.

> 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).

Aleks

-- 
Aleksandar Donev, Ph.D.
Lawrence Postdoctoral Fellow @ Lawrence Livermore National Laboratory
High Performance Computational Materials Science and Chemistry
E-mail: donev1 at llnl.gov
Phone: (925) 424-6816  Fax: (925) 423-0785
Address: P.O.Box 808, L-367, Livermore, CA 94551-9900
Web: http://cherrypit.princeton.edu/donev