static unittest

Xavier Bigand via Digitalmars-d digitalmars-d at puremagic.com
Wed Apr 30 19:13:44 PDT 2014


Le 30/04/2014 18:55, Andrei Alexandrescu a écrit :
> Walter and I also discussed "static unittest" a while ago - yes, another
> use of static :o).
>
> A static unittest would be evaluated only during compilation, and would
> prove things that fall in the realm of static checking but are not
> verifiable with traditional typesystem approach.
>
> That won't enable things we can't do today (there's always
> assert(__traits(compiles, ...)) but it's instantly recognizable, very
> easy to use, and pushes semantic checking to a whole new level.
>
> Thoughts?
>
>
> Andrei

Can be usefull on our project DQuick. Maybe my friend will be able to 
speek more on how much it's interesting.


More information about the Digitalmars-d mailing list