On 31.05.2017 22:45, Moritz Maxeiner wrote:
On Wednesday, 31 May 2017 at 20:09:16 UTC, Nick Sabalausky (Abscissa)
wrote:
[...]
program is in an undefined state and should terminate asap.
Then out-of-bounds and assert failures should be Exception not Error.
Frankly, even out-of-memory, arguably. And then there's null
dereference... In other words, basically everything.
No, because as I stated in my other post, the runtime *cannot* assume
that it is safe *in all cases*. If there is even one single case in
which it is unsafe, it must abort.
Hence all programs must abort on startup.
