[cfe-dev] Templates (again)

[Andrew Sutton]

>
> 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
>
>        template<typename T> void foo(T);
>
> 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
>
>        template<class U> void foo(U) { }
>

This corresponds to the GCC errors with phrases like "template
parameter-1-1", right?

Andrew Sutton
andrew.n.sutton at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20081224/de22cf67/attachment.html>