[fpc-devel] Minor debate with ISO standard on case blocks

[Michael Van Canneyt]

On Tue, 30 Jul 2019, thaddy wrote:

> Telling.
>> 
>> NOTES
>> 
>> 1. If it is possible to construct a program in which the violation or
>> non-violation of this International Standard requires knowledge of the
>> data read by the program or the implementation definition of
>> implementation-defined features, then violation of that requirement is
>> classified as an error. Processors may report on such violations of
>> the requirement without such knowledge, but there always remain some
>> cases that require execution, simulated execution, or proof procedures
>> with the required knowledge. Requirements that can be verified without
>> such knowledge are not classified as errors.

Hm.

Even after reading this 5 times, I still am not sure I understand the
above. The people who wrote this must have been either extraordinary geniuses, 
or very confused minds.

Or else they wanted to give a befriended unemployed lawyer some work.
But anyone writing such a paragraph deserves to be unemployed... ;)

How you're suppsed to construct a working & compliant 'processor' 
(I assume this means compiler or interpreter or somesuch) after 
reading this is a mystery to me.

Michael.