On 2/5/15 9:31 AM, Andrei Alexandrescu wrote:
On 2/5/15 2:55 AM, eles wrote:
On Thursday, 5 February 2015 at 10:51:32 UTC, eles wrote:
On Thursday, 5 February 2015 at 09:02:05 UTC, deadalnix wrote:
On Thursday, 5 February 2015 at 07:28:36 UTC, Paulo Pinto wrote:
I miss the point about in.
DbC as presentend by Eiffel and adopted in .NET, Ada among others,
the complete contract is on the callee.
It doesn't make sense otherwise.
There was a huge discussion here:
https://issues.dlang.org/show_bug.cgi?id=6857
Wow. Amazing discussion.
But it ends with:
"Andrei Alexandrescu 2013-01-10 09:14:02 UTC
@Walter: would you preapprove this?"
Well, we are now 2 years (and some) later.
It has been preapproved. The challenge now is implementing it. -- Andrei
Better put: it had been preapproved back in Jan 2013 and is still
looking for someone to fix it. -- Andrei