Re: new contract syntax DIP

[Timon Gehr via Digitalmars-d]

On 23.05.2017 19:28, MysticZach wrote:

I made a pull request for a new DIP dealing with contract syntax:

https://github.com/dlang/DIPs/pull/66

I write the DIP in response to the discussions for DIP 1003: http://forum.dlang.org/thread/wcqebjzdjxldeywlx...@forum.dlang.org

This DIP is not under any kind of formal review yet. I just wanted to let people know that it's there.

For inspiration: https://github.com/Microsoft/dafny