[J3] Standard conformance of parameterized derived type usage

[William Clodius]

Is the following program standard conforming?

PROGRAM TEST_LEN_PARAMETER
    IMPLICIT NONE
    TYPE :: T(N)
        iNTEGER, LEN :: N
        TYPE(T(N+1)), POINTER :: P => NULL()
    END TYPE T
    TYPE(T(0)) :: A
    ALLOCATE(A % P)
    ALLOCATE(A % P % P)
    WRITE(*,'(A, I0)') 'A % N = ', A % N
    WRITE(*,'(A, I0)') 'A % P % N = ', A % P % N
    WRITE(*,'(A, I0)') 'A % P % P % N = ', A % P % P % N
END PROGRAM TEST_LEN_PARAMETER

If so what should be the output?

If so are there any processors that successfully process the code?

-------------- 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/1bef1deb/attachment.bin>