<sorry for the private post>
Frank Heckenbach wrote:
Adriaan van Os wrote:
Since some of you have said they'd like to help, but can't code in the compiler itself, here are at least 2 chances:
- Help finding all places where range checking must be applied
Object and type extension ?
What do you mean precisely?
I refer to a message of novermber 29, 2002
So, if we have two variables:
VAR V0: Enum0; V1: Emum1;
the rules of compatibilty would allow the assignment
V0:=V1
but the compiler would have to do a (optional) range check to be sure that a actual value of V1 is within the range of Enum0 ?
Exactly. Just the same as when Enum1 was declared first, and then Enum0 as a subrange of Enum1.
- Write test programs
Count on me.
Looking forward to it ...
What is the time frame ? Do you need the tests before, during or after implementing range checking in the compiler ?
Regards,
Adriaan van Os