[type-annos-observers] Comments on the Nov 7 specification

Eric Bruneton ebruneton at free.fr
Fri Nov 16 09:55:23 PST 2012


 >Werner has proposed (see below) an optimization so that multiple 
 >"levels" of the same kind of compound type can be "jumped" in one go. 
 >That is, rather than a type_path_entry for each and every successive 
 >type constructor ([] for array types, . for nested types, < for type 
 >arguments, and ? ... for wildcard bounds),

 From an ASM point of view, both using an array instead of nested 
structures and optimizing multiple levels of the same kind is fine. The 
important point is that all paths should be "from outside to inside" 
(e.g. for nested types, the path should go from outer to inner, not the 
other way around as proposed in the Nov 7 specification).

Eric


More information about the type-annotations-spec-comments mailing list