DIP 1009--Improve Contract Usability--Preliminary Review Round 1

[H. S. Teoh via Digitalmars-d]

On Thu, Jun 29, 2017 at 08:22:50AM +0000, via Digitalmars-d wrote:
> On Thursday, 29 June 2017 at 01:37:17 UTC, H. S. Teoh wrote:
[...]
> > One idea I have is that the compiler could recognize certain
> > straightforward contracts (like int < value) and use VRP (value
> > range propagation) to detect cases where it's clear that the
> > contract would be violated.
[...]
> https://github.com/dlang/dmd/pull/3799

Haha, funny, I've seen that PR before but totally forgot about it.
Seems to have reached an impasse, unfortunately.  Seems that Walter and
other are not perfectly happy with it, and handing contracts off to CTFE
raises other issues.


T

-- 
Some days you win; most days you lose.