On Wednesday, 10 April 2013 at 18:54:15 UTC, Walter Bright wrote:
On 4/9/2013 3:48 AM, deadalnix wrote:
No, D have holes in its type system and so can't ensure
anything. It has been
show many many many times, especially by Timon and myself, and
I'm kind of fed
up to have to repeat that again and again, especiallt since
fix proposal have
recieved no attention at all.
Stop claiming that such possibility exists, or take a serious
look at how to
really ensure it.
Having a bug in the compiler doesn't mean the language design
is full of holes.
It is not about compiler bugs, it is about language definition.
The issue has been explained over and over again, and DIP has
been made about it already.
