> My suggestion is that instead of always having int..int types, subranges have > the smallest type that will contain the subrange. So a subrange of 0..10 > would be of type uint8. To make that work, Nim would also have to promote > uintx to int the same way it promotes intx to int. I can't see a reason why > it will promote int32 to int but not uint32 to int.
Because `uint32` might not fit into an int on 32 bit machines where int is defined to take 32 bits.
