Jeffrey A Law wrote:
Presumably there's a reason why enumeral types don't have a base type?
They don't in Ada (since there is no issue at the Ada semantic level of out of range intermediate values), but we could certainly introduce such a notion at the implementation level if it helps.
I've got no strong opinions on how to fix this, I just wanted to throw out another possible approach. jeff