09-183r1
To: J3
From: Van Snyder
Subject: C617 appears to be broken
Date: 2009 May 4
References: 09-007r1
1. Discussion
C617 (R611) Except as an actual argument to an intrinsic inquiry
function or as the in a type parameter inquiry, a
shall not be a polymorphic subobject of a coindexed
object and shall not have a polymorphic allocatable subcomponent.
appears to be broken, in that it prohibits a from having a
polymorphic allocatable subcomponent except if it is an actual argument
to an intrinsic inquiry function or the in a type
parameter inquiry.
If I remember the discussion that led to it correctly, and if I read
the subject of 08-308r1 correctly, this was an attempt to prohibit
cross-image dynamic type inquiry.
2. Edits
[09-007r1:121:15 6.4.2 C617]--------------------------------------------
Editor: Replace "have" by "be a coindexed object that has".