llvm-project

Author	SHA1	Message	Date
Anders Carlsson	c8e7113a9f	Make the TemplateArgumentList take a TemplateArgumentListBuilder. llvm-svn: 72917	2009-06-05 04:47:51 +00:00
Douglas Gregor	b7ae10f764	Several improvements to template argument deduction: - 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	2009-06-05 00:53:49 +00:00
Anders Carlsson	35533d11b3	Template argument deduction for incomplete and constant array types. Doug, please review. llvm-svn: 72844	2009-06-04 04:11:30 +00:00
Douglas Gregor	5cdac0a52e	Template argument deduction for references llvm-svn: 72822	2009-06-04 00:21:18 +00:00
Douglas Gregor	55ca8f6443	When performing template argument deduction, ensure that multiple 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	2009-06-04 00:03:07 +00:00