Re: V4 Lambda templates and implicit function templates.

2013-09-11 Thread Jason Merrill
On 09/11/2013 02:22 PM, Adam Butcher wrote: Okay for the attached to go to trunk with suitable changelog? Yes. Jason

Re: V4 Lambda templates and implicit function templates.

2013-09-11 Thread Adam Butcher
On 11.09.2013 16:25, Jason Merrill wrote: On 09/11/2013 10:42 AM, Jason Merrill wrote: Sounds like the problem is that the compiler is trying to instantiate a function while cp_unevaluated_operand is set. But that shouldn't be an issue because push_to_top_level clears cp_unevaluated_operand.

Re: V4 Lambda templates and implicit function templates.

2013-09-11 Thread Jason Merrill
On 09/11/2013 10:42 AM, Jason Merrill wrote: Sounds like the problem is that the compiler is trying to instantiate a function while cp_unevaluated_operand is set. But that shouldn't be an issue because push_to_top_level clears cp_unevaluated_operand. How does it come to be set when instantiatin

Re: V4 Lambda templates and implicit function templates.

2013-09-11 Thread Jason Merrill
On 09/11/2013 03:38 AM, Adam Butcher wrote: This is not a complete enough description. It only ICEs instantiating the call op through the decltype return of the conversion op if the return type of the call op is a deduced one (i.e. unspecified or specified explicitly as 'auto'). If the lambda c

Re: V4 Lambda templates and implicit function templates.

2013-09-11 Thread Adam Butcher
On 10.09.2013 03:19, Adam Butcher wrote: - Instantiation of generic conversion op ICEs if the call op contains declarations and hasn't already been instantiated. This is not a complete enough description. It only ICEs instantiating the call op through the decltype return of the conversion

V4 Lambda templates and implicit function templates.

2013-09-09 Thread Adam Butcher
Hi Jason, Here's the latest patch set; reduced to two patches now. Remaining issues: - Instantiation of generic conversion op ICEs if the call op contains declarations and hasn't already been instantiated. - Still haven't figured out a clean way to make 'auto...' work. Cheers, Adam Patch s