Can we just have struct inheritence already?

ag0aep6g anonymous at example.com
Thu Jun 13 13:31:23 UTC 2019


On 13.06.19 09:27, Walter Bright wrote:
> On 6/11/2019 7:37 AM, ag0aep6g wrote:
>> The spec very much defines @safe as "no undefined behavior".
>>
>> <https://dlang.org/spec/function.html#function-safety>: "Safe 
>> functions are functions that are statically checked to exhibit no 
>> possibility of undefined behavior."
> 
> The spec's wrong, because it doesn't do that.

So the spec needs an addendum?

Surely it's correct that @safe code can't be allowed to exhibit 
undefined behavior. What else do we have to disallow? How can one 
corrupt memory without relying on undefined behavior?


More information about the Digitalmars-d mailing list