Zitat von
oki:
Licht am Horizont.
[...]
Imho ist es dann so, dass im speziellen Fall MaxInt-Anzahl von Elementen im Record über die Case-Anweisung indiziert werden können. Integer kann nach deinen Ausführungen durch jeden ordinalen Typ ersetzt werden. Somit sollte auch ein Enum-Typ funktionieren.
Herzlichen Glückwunsch, sie wurden erleuchtet.
Viel Erfolg mit der weiteren Übersetzung des Headers.