(j3.2006) more on J32031 equivalence of circular types

[Aleksandar Donev]

On Wednesday 20 August 2008 15:15, Bill Long wrote:
> I guess I don't see what part of the answer is not obvious here. ?What
> part of f03:4.5.1.3 is ambiguous in the case?

TYPE(T), POINTER :: NEXT => NULL()

Does this component in type T in module FOO have the same type as that in 
module BAR? If you know the answer, you've already answered the question you 
are trying to answer. You get into an infinite loop that you must terminate 
somehow.

Aleks