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

[Bill Long]

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?

Cheers,
Bill


Michael Ingrassia wrote:
> Here's a new test case, somewhat simpler than the one in the public comment. 
> Section 4.5.1.3 doesn't seem to determine whether or not A and B have the same type,
> so I don't follow the claim in our response that the definition in paragraph 2
> is unambiguous.
>
>         MODULE FOO
> 	TYPE T
> 	   SEQUENCE
> 	   TYPE(T), POINTER :: NEXT => NULL()
>         END TYPE T
>         TYPE(T) :: A
>         END MODULE FOO
>
>         MODULE BAR
>         TYPE T
> 	   SEQUENCE
> 	   TYPE(T), POINTER :: NEXT => NULL()
>         END TYPE T
>         TYPE(T) :: B
>         END MODULE BAR
>
>         USE FOO, ONLY : A
>         USE BAR, ONLY : B
>
> 	! Do A and B have the same type ?
> 	A = B
> 	END
>
>
> 	--Michael I.
> _______________________________________________
> J3 mailing list
> J3 at j3-fortran.org
> http://j3-fortran.org/mailman/listinfo/j3
>   

-- 
Bill Long                                   longb at cray.com
Fortran Technical Support    &              voice: 651-605-9024
Bioinformatics Software Development         fax:   651-605-9142
Cray Inc., 1340 Mendota Heights Rd., Mendota Heights, MN, 55120