Re: disjoint ranges ?

[Jeff Carter <jrcarter@acm.org>]

It's interesting how the useful things you can do easily with types and
subtypes in Ada, and not at all or with difficulty in many (most?) other
languages, lead people to expect even more from Ada's type system than
it should reasonably be expected to do.

I was recently asked a similar question, except the person was
attempting to create a subtype usable as an array index from a large
enumeration type. In this case, the problem was in the design; the type
needed to be broken into several smaller types. I asked the person what
language he had previously used, and was then able to ask, "How would
you have done this in X?" Ada provides a lot of powerful capabilities,
but at some point you have to do some work to get them to do what you
want.

-- 
Jeff Carter
"Monsieur Arthur King, who has the brain of a duck, you know."
Monty Python & the Holy Grail