[J3] Standard conformance of parameterized derived type usage

[William Clodius]

Whether you have infinite recursion depends on how you interpret an undefined pointer. Note that you have “infinite recursion” even if you change the N+1 to N, it is just recursing to the same value. Of course as a simpler potentially more common case, a compiler can treat it as special case. Would constraint like  “If the declared type of the component is the same as that of the type of its corresponding derived type statement, then every type parameter and array bound of the component shall be a colon or constant expression,” fix the problem or can indirect recursion, e.g., parameterized type A has component of parameterized type B that has a component of parameterized type A, be a problem?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 1619 bytes
Desc: not available
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20201110/db9bc9c5/attachment.bin>