Adriaan van Os wrote:
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.
Oh, you mean the enum type extensions. I haven't implemented them, and I'm not sure if I ever will, so we can ignore them for now ...
Frank