C++ guys hate static_if?

[Dmitry Olshansky]

15-Mar-2013 00:27, Walter Bright пишет:
> On 3/14/2013 12:53 PM, Dmitry Olshansky wrote:
>> No it's not.
>> It's I'm out of words to even begin to describe how it doesn't do
>> what's needed
>> in this case. To start 'dmd -cov test.d' doesn't instantiate all of
>> templates
>> (or generate code to do so) with the right sets of types auto-magically.
>
> For the following program:
> ---------test.d-------------
> import core.stdc.stdio;
> public import std.whatever;
>
> int main()
> {
>      printf("Success!\n");
>      return 0;
> }
> ----------------------------
>
> Try compiling:
>
>      dmd -cov test.d std\whatever -unittest
>
> and examine std-whatever.lst.
>
> We can do a lot, lot better before we need something better than -cov.
>
>

Point taken. That doesn't detract us from:
a) fixing issues with -cov

It counts time a LOC is executed. Would nice to add instantations 
counter (determined at compile time) as well so as to see if 
declarations are all covered. That  + CTFE-only counted as 0.

b) unifying template fuzzy testing in Phobos

We have lots of these wheels reinvented across Phobos alone.

c) prototyping other higher-level tools to aid debugging generic code

-- 
Dmitry Olshansky