<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">The Depth/Position stuff is working toward a fix in the type system. Basically, template parameters in the type system will be identified by their kind, depth (= the number of enclosing template parameter lists), and position with in that template parameter list. For example, 'T' in<div class="Ih2E3d">
<br>
<br>
        template<typename T> void foo(T);<br>
<br></div>
is a template type parameter with depth=0 and position=0. That's the canonical type for 'T', and we'll use some sugar to give it the name 'T'. That way, we can quickly match the declaration above with the definition below<br>

<br>
        template<class U> void foo(U) { }<br>
</blockquote><div><br>This corresponds to the GCC errors with phrases like "template parameter-1-1", right? <br></div></div><br>Andrew Sutton<br><a href="mailto:andrew.n.sutton@gmail.com">andrew.n.sutton@gmail.com</a><br>