DIP 1009 (Add Expression-Based Contract Syntax) Accepted

Dmitry Olshansky dmitry.olsh at gmail.com
Thu Apr 12 07:45:30 UTC 2018


On Thursday, 12 April 2018 at 06:08:39 UTC, Kagamin wrote:
> On Wednesday, 11 April 2018 at 20:45:15 UTC, Dmitry Olshansky 
> wrote:
>> * Templates kind of muddy the waters being conpiled with the 
>> flags of caller (another reason why they are a mess). Meaning 
>> they will work with contracts if caller choses to have debug 
>> build.
>
> Template can call user code, but it wasn't tested for it, so 
> the contract should be checked.

What I mean is that for templates calling or not calling 
contracts depends on client code not the library. It’s just one 
consequence of template mechanism that has tons of other issues.


More information about the Digitalmars-d-announce mailing list