|
|
|
|
|
by etrez
491 days ago
|
|
* Splitting large enumerated types into smaller ones * Using the same range for arrays indexes, "for" loops parameters which index those arrays. In those cases a good compiler removes the useless run-time checks! Ada range types can have bounds that are known only at run-time. It was not possible with Pascal. To see subtypes in action: another FOSDEM presentation: https://fosdem.org/2025/schedule/event/fosdem-2025-5148-adve... |
|