(j3.2006) (SC22WG5.5642) Another comment on Corrigendum 4
Thu Jan 21 16:30:26 EST 2016
Is C1278a, as amended by Corrigendum 4, not yet correct?
C1278a An INTENT(OUT) dummy argument of a pure procedure shall not be
polymorphic or have a polymorphic allocatable ultimate component.
Suppose I have
type :: T1
end type T1
type :: T2
class(t1), allocatable :: C2
end type T2
type :: T3
type(t2), allocatable :: C3
end type T3
pure subroutine S ( A )
type(t3), intent(out) :: A
end subroutine S
The dummy argument A is of a type that has a polymorphic allocatable
potential subobject component, but it does not have a polymorphic
allocatable ultimate component.
Do we wish to allow this, or does C1278a need more work?
More information about the J3