Re: Lambda templates and implicit function templates.

2013-09-02 Thread Jason Merrill
On 09/02/2013 02:27 PM, Adam Butcher wrote: Bug 41933 is specifically about lambda capture; I think you're running into something else. The problem is in expanding the 'ts' capture from the 5.1.2.5. It looks like this: 1 auto vglambda = [](auto printer) { 2 return [=](auto&& ... ts) {

Re: Lambda templates and implicit function templates.

2013-09-02 Thread Adam Butcher
On 01.09.2013 21:05, Jason Merrill wrote: On 08/27/2013 03:42 PM, Adam Butcher wrote: I don't know if it's the correct thing to do but the implementation currently omits the conversion to function pointer operator if the argument list contains a parameter pack. I would expect that to work. Do

Re: Lambda templates and implicit function templates.

2013-09-01 Thread Jason Merrill
On 08/27/2013 03:42 PM, Adam Butcher wrote: Unfortunately, due to errors being thrown 'early' in grokdeclarator, I haven't been able to get 'auto...' (or reference/qualified variants) working yet. I think I need to defer processing the parameter pack internals of grokdeclarator until I have the

Re: Lambda templates and implicit function templates.

2013-08-27 Thread Adam Butcher
Hi Jason, Here's an updated patch set. The fully_implicit_function_template_p field has been moved into cp_parser and the other comments addressed. I've done some testing with parameter packs also. They work okay with the explicit template parameter syntax for lambdas. Unfortunately, due to er