On Wednesday, 13 July 2016 at 10:33:52 UTC, ketmar wrote:
On Wednesday, 13 July 2016 at 10:14:41 UTC, Max Samukha wrote:
Undefined implies there *may* be something to save.
but you have no way to know what.
Wrong. Just because a language-spec says a compiler writer does
not have to care about a particular type of input does not mean
that the compiler and programmer cannot verify the data to be
valid.
But hey, you don't even acknowledge that there is a difference
between the machine and the program, so no hope of you getting
into a reasonable argument on this one. ;-)