On 8/24/11 6:58 AM, Timon Gehr wrote:
So, basically interfaces are the only place in D?/DMD where you can even specify contracts without a function body and there they don't work. I think the bug is not the only problem, actual contracts should /always/ be part of the function declaration and not require an implementation to work. Everything else degrades contracts to simple syntactic sugar for assertions.
That plus interplay with inheritance. Andrei
