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

Michael Ingrassia michaeli
Wed Aug 20 18:29:04 EDT 2008


I think I left out a step.  To see that it's ambiguous, you have to
concede that

"components that agree in order, name, and attributes"

might as well say

"components that agree in order, name, type, type parameters, and attributes"

since type and type parameters are included in the notion of attributes
(first two sentences of Clause 5).

Otherwise the paragraph wouldn't explicitly say that components 
need to be of the same type.


	--Michael I.



More information about the J3 mailing list