Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Make the TemplateArgumentList take a TemplateArgumentListBuilder. | Anders Carlsson | 2009-06-05 | 1 | -2/+8 | |
| | | | | llvm-svn: 72917 | |||||
* | Several improvements to template argument deduction: | Douglas Gregor | 2009-06-05 | 1 | -9/+221 | |
| | | | | | | | | | | | | | | - Once we have deduced template arguments for a class template partial specialization, we use exactly those template arguments for instantiating the definition of the class template partial specialization. - Added template argument deduction for non-type template parameters. - Added template argument deduction for dependently-sized array types. With these changes, we can now implement, e.g., the remove_reference type trait. Also, Daniel's Ackermann template metaprogram now compiles properly. llvm-svn: 72909 | |||||
* | Template argument deduction for incomplete and constant array types. Doug, ↵ | Anders Carlsson | 2009-06-04 | 1 | -0/+29 | |
| | | | | | | please review. llvm-svn: 72844 | |||||
* | Template argument deduction for references | Douglas Gregor | 2009-06-04 | 1 | -8/+35 | |
| | | | | llvm-svn: 72822 | |||||
* | When performing template argument deduction, ensure that multiple | Douglas Gregor | 2009-06-04 | 1 | -0/+121 | |
deductions of the same template parameter are equivalent. This allows us to implement the is_same type trait (!). Also, move template argument deduction into its own file and update a few build systems with this change (grrrr). llvm-svn: 72819 |