Stewart Gordon: > There are places where the spec fails to make a clear distinction between > illegal code and > incorrect code that the compiler may reject if it's smart enough.
In D there are pure functions, so I think it's not too much hard for it to tell apart when the contents of an assert() are pure or not. My opinion is that the D compiler has to enforce purity inside assert(), to avoid bugs. Bye, bearophile