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:
1. 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 -- Frank Heckenbach, frank@g-n-u.de, http://fjf.gnu.de/, 7977168E GPC To-Do list, latest features, fixed bugs: http://www.gnu-pascal.de/todo.html GPC download signing key: 51FF C1F0 1A77 C6C2 4482 4DDC 117A 9773 7F88 1707