(j3.2006) Did we intend for it to be impossible for an elemental function to have a polymorphic result?

[Cohen Malcolm]

<<<
Did we intend for it to be impossible for an elemental function to have
a polymorphic result?
>>>

Yes.

<<<
The result can only be polymorphic if it has the ALLOCATABLE or POINTER
attribute, which is prohibited by C12102 in 15-007r2.
>>>

Good.

<<<
It would be more useful if C12102 were replaced by a requirement (which
cannot be a constraint) that the dynamic type of every element of the
result be the same.
>>>

No.

Cheers,
-- 
........................Malcolm Cohen, Nihon NAG, Tokyo.