Re: A Vision on Improved DMD Template Instantiation Diagonostics

2015-06-13 Thread Atila Neves via Digitalmars-d
On Friday, 12 June 2015 at 17:13:51 UTC, Andrei Alexandrescu wrote: On 6/12/15 5:20 AM, Per =?UTF-8?B?Tm9yZGzDtnci?= per.nord...@gmail.com wrote: After having seen Andrei's Walter's talks on DConf 2015 it's time reveal a dream of mine. It resolves around of feature that I believe is one of

A Vision on Improved DMD Template Instantiation Diagonostics

2015-06-12 Thread via Digitalmars-d
After having seen Andrei's Walter's talks on DConf 2015 it's time reveal a dream of mine. It resolves around of feature that I believe is one of the most important improvements that will benefit aggregation of more *new* users to the D Community. Namely a more clever DMD diagnostics when a

Re: A Vision on Improved DMD Template Instantiation Diagonostics

2015-06-12 Thread Vladimir Panteleev via Digitalmars-d
On Friday, 12 June 2015 at 16:37:51 UTC, Baz wrote: This can be done yet, manually, at the library level. For example if every check in a constraint is warped like this: Won't this also trigger during overload resolution?

Re: A Vision on Improved DMD Template Instantiation Diagonostics

2015-06-12 Thread Xinok via Digitalmars-d
On Friday, 12 June 2015 at 15:51:02 UTC, Per Nordlöw wrote: On Friday, 12 June 2015 at 15:35:55 UTC, Xinok wrote: However, template constraints in D are much more powerful and flexible than C++ concepts. As such, there are bound to be several cases in which the compiler can't provide any

Re: A Vision on Improved DMD Template Instantiation Diagonostics

2015-06-12 Thread Baz via Digitalmars-d
On Friday, 12 June 2015 at 12:20:58 UTC, Per Nordlöw wrote: After having seen Andrei's Walter's talks on DConf 2015 it's time reveal a dream of mine. It resolves around of feature that I believe is one of the most important improvements that will benefit aggregation of more *new* users to the

Re: A Vision on Improved DMD Template Instantiation Diagonostics

2015-06-12 Thread Xinok via Digitalmars-d
On Friday, 12 June 2015 at 12:20:58 UTC, Per Nordlöw wrote: ... Destroy. Improving compiler diagnostics for failed template instantiations would be a great start. However, template constraints in D are much more powerful and flexible than C++ concepts. As such, there are bound to be

Re: A Vision on Improved DMD Template Instantiation Diagonostics

2015-06-12 Thread via Digitalmars-d
On Friday, 12 June 2015 at 15:35:55 UTC, Xinok wrote: However, template constraints in D are much more powerful and flexible than C++ concepts. As such, there are bound to be several cases in which the compiler can't provide any useful information, no matter how smart it may be. Can you give

Re: A Vision on Improved DMD Template Instantiation Diagonostics

2015-06-12 Thread Andrei Alexandrescu via Digitalmars-d
On 6/12/15 5:20 AM, Per =?UTF-8?B?Tm9yZGzDtnci?= per.nord...@gmail.com wrote: After having seen Andrei's Walter's talks on DConf 2015 it's time reveal a dream of mine. It resolves around of feature that I believe is one of the most important improvements that will benefit aggregation of more