changed the ENUM semantics. Common sense seems to be that enums increase subsequently without collision avoidance.
Example:
MyEnum = ENUM
a = 10, b , c=41, d = 10, e
END;
MyEnum.e is now 11 (colliding with b, but the follow-up value of d = 10)
MyExtendedEnum = ENUM(MyEnum)
e
END;
MyExtendedEnum.e still is 42, in order to avoid collisions when inheriting, the max value + 1 is taken.
git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7602 8c9fc860-2736-0410-a75d-ab315db34111